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
Broad
Functors, Monads, Natural Transformations, Topos Theory
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
10
posts in
8.8
ms
∑
Math
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
∑
Math
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
∑
Math
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
∑
Math
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
∑
Math
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
📡
Information Theory
arXiv
·
3d
3 days ago
Latent Confounded Causal Discovery via Lie Bracket Geometry
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 Latent Confounded Causal Discovery via Lie Bracket Geometry
🔢
Type Theory
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
∑
Math
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
🧑💻
Computer Science
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
∑
Math
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