Category Theory

Feeds to Scour
SubscribedAll
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·

On the Complexity of the Bi-infinite Post Correspondence Problem

 🔤Type Systems  Content type: Academic
arxiv.org·

Defects in skein theory and TQFT

 🔤Type Systems  Content type: Academic
arxiv.org·

Incremental Sheaf Cohomology on Cellular Complexes: O(1)-in-n Lazy Edit Processing under Bounded Local Geometry

 🦥Haskell  Content type: Academic
arxiv.org·

Pull-back and push-forward functors for holonomic modules over Cherednik algebras

 📐PLT  Content type: Academic
arxiv.org·

Essential Unitarity for Higher-Order Quantum Computation

 λFunctional Programming  Content type: Academic
arxiv.org·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help