Skip to main content
Scour
Browse
Getting Started
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, categorical semantics, CT
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
26
posts in
4.9
ms
The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf
Topoi
✅
Proof Assistants
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi
On the Complexity of the Bi-infinite Post Correspondence Problem
🔤
Type Systems
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for On the Complexity of the Bi-infinite Post Correspondence Problem
Defects in skein
theory
and TQFT
🔤
Type Systems
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Defects in skein theory and TQFT
Incremental
Sheaf
Cohomology on Cellular Complexes: O(1)-in-n Lazy Edit Processing under Bounded Local Geometry
🦥
Haskell
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Incremental Sheaf Cohomology on Cellular Complexes: O(1)-in-n Lazy Edit Processing under Bounded Local Geometry
Pull-back and push-forward
functors
for holonomic modules over Cherednik algebras
📐
PLT
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Pull-back and push-forward functors for holonomic modules over Cherednik algebras
Essential Unitarity for Higher-Order Quantum Computation
λ
Functional Programming
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Essential Unitarity for Higher-Order Quantum Computation
« Page 1
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
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
Browse
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