Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Category Theory
∘ Category Theory
Functors, Monads, Morphisms, Abstract Algebra
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
15
posts in
18.5
ms
👻
Rust Phantom Data
arXiv
·
6d
6 days ago
The
functoriality
of moves on graphs and the extended covariant
functoriality
of graph
algebras
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The functoriality of moves on graphs and the extended covariant functoriality of graph algebras
⚡
Async Programming
pure-effect.org
·
1d
1 day ago
Show HN: Pure Effect – Reproduce production bugs on your laptop without a DB
Covered by
lackofimagination.org
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Show HN: Pure Effect – Reproduce production bugs on your laptop without a DB
🔍
Type Inference
Tweag
·
5d
5 days ago
Sheaves in Haskell
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Sheaves in Haskell
🔲
Cellular Automata
The Guardian
·
6d
6 days ago
The Uses of Utopia by Joad Raymond Wren review – can the ideal society ever exist?
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Uses of Utopia by Joad Raymond Wren review – can the ideal society ever exist?
🔗
Dependent Types
nLab
·
5d
5 days ago
exhaustible set
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for exhaustible set
λ
Functional Programming
arXiv
·
4d
4 days ago
NeSyCat Torch: A Differentiable Tensor Implementation of
Categorical
Semantics for Neurosymbolic Learning
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning
🎨
Chroma
nLab
·
4d
4 days ago
Bolzano-Weierstrass
theorem
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Bolzano-Weierstrass theorem
λ
Functional Programming
arXiv
·
6d
6 days ago
Functoriality
of Quantum Principal Bundles and Quantum Connections
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Functoriality of Quantum Principal Bundles and Quantum Connections
🔬
Deep Learning
arXiv
·
5d
5 days ago
Structural Preservation and the Logical Expressiveness of Graph Neural Networks
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Structural Preservation and the Logical Expressiveness of Graph Neural Networks
🔁
eBPF Tail Calls
arXiv
·
6d
6 days ago
Odds Law: The Decomposition
Algebra
On How Intelligence Organizes Itself to Solve Difficult Problems Reliably
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Odds Law: The Decomposition Algebra On How Intelligence Organizes Itself to Solve Difficult Problems Reliably
⛓️
Blockchain
arXiv
·
3d
3 days ago
A
Topos-Theoretic
Interpretation of Blockchain Systems: Sheaves of Consensus and the Logic of Decentralized Truth
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Topos-Theoretic Interpretation of Blockchain Systems: Sheaves of Consensus and the Logic of Decentralized Truth
🌐
Zero-Suppressed BDDs
arXiv
·
4d
4 days ago
Completeness for Probabilistic Boolean Tapes
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Completeness for Probabilistic Boolean Tapes
💫
Effect Systems
arXiv
·
4d
4 days ago
Rethinking set
theory
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Rethinking set theory
✓
Formal Verification
arXiv
·
3d
3 days ago
A
Categorial
and
Sheaf-Theoretic
Semantics for Autonomic Component Ensembles
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Categorial and Sheaf-Theoretic Semantics for Autonomic Component Ensembles
🦀
Rayon
arXiv
·
4d
4 days ago
Hopf bimodules for bialgebroids
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Hopf bimodules for bialgebroids
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report