Category Theory

🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Feeds to Scour
SubscribedAll
Scoured 21 posts in 40.4 ms

tensor product of stable (infinity,1)-categories in nLab

 🔤Type Theory
ncatlab.org·

Kan Extensions in Haskell

 🧮Algebraic Archives
bartoszmilewski.com··Hacker News

A New Post Quantum Cryptography Standard (Verification, etc. Included)

 💾File Formats
zenodo.org··Hacker News

QTCat: Queer and Trans People in Category Theory

 🔤Type Theory  Content type: Blog
semantic-domain.blogspot.com··semantic-domain.blogspot.com

a topos-oriented language with a content-addressed lattice heap

 💻Programming languages
yon-lang.org··Hacker News

Learning Transfers: Kan Extensions for Neural Invariants

 🔤Type Theory  Content type: Academic
arxiv.org·

"Self-Control" Is A (Neurological) Type Error

 🔤Type Theory
lesswrong.com·

A new hardback!

 🔤Type Theory  Content type: Blog
logicmatters.net·

Quivers: a year of linear algebra by drawing arrows

 📐Linear Algebra  Content type: Blog
lisyarus.github.io··Hacker News

Morphic Accumulators and Applications: Optimal Range Proofs, Polynomial Commitments, and Ring Signatures

 🗜️Graph Compression
eprint.iacr.org·

Projective and anomalous representations of categories and their linearizations

 🔤Type Theory  Content type: Academic
arxiv.org·

Essential Unitarity for Higher-Order Quantum Computation

 🔤Type Theory  Content type: Academic
arxiv.org·

Strict stability of extension types

 💻Programming languages  Content type: Academic
arxiv.org·

Center and derivations of generalized Weyl algebras over $\mathbb{Z}/p^n\mathbb{Z}.$

 🔱Galois Theory  Content type: Academic
arxiv.org·

Cocompletions for non-abelian vertex tensor categories

 🔤Type Theory  Content type: Academic
arxiv.org·

The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi

 📼Cassette Combinators  Content type: Academic
arxiv.org·

Notes on gamma invariants of finite dimensional Hopf algebras

 🔱Galois Theory  Content type: Academic
arxiv.org·

$E_\infty^{1,2}$-type Lieb-Schultz-Mattis anomalies, deconfined quantum critical points, and non-invertible symmetry breaking

 🔤Type Theory  Content type: Academic
arxiv.org·

A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking

 💻CS  Content type: Academic
arxiv.org·

Microscopic universal theory of symmetry-enriched topological quantum spin liquids

 ⚛️Quantum Storage  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