Category Theory

Feeds to Scour
SubscribedAll
Scoured 26 posts in 6.7 ms

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

 Functional Programming
ncatlab.org·

Kan Extensions in Haskell

 Functional Programming

Curved DG Modules and Matrix Factorizations from Noncommutative Quadric Hypersurfaces

 🔐Cryptography  Content type: Academic
arxiv.org·

QTCat: Queer and Trans People in Category Theory

 🔢Mathematical Logic  Content type: Blog

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

 📝Text Editors
yon-lang.org··Hacker News

Quivers: a year of linear algebra by drawing arrows

 Functional Programming  Content type: Blog

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

 📊Information Theory
lesswrong.com·

A new hardback!

 📊Information Theory  Content type: Blog
logicmatters.net·

15-150: Principles of Functional Programming

 📐Algorithms

Moduli Space of Sheaves and Categorified Commutator of Functors

 Functional Programming  Content type: Academic
arxiv.org·

Jonas Eriksson releases Annulus, a FREE polyphonic resonator and effects engine

 Concurrency  Content type: Blog

1 минуту назад

 🧠Memory Management  Content type: Blog
habr.com·

🥇Top AI Papers of the Week

 🎲Probabilistic Programming  Content type: News
nlp.elvissaravia.com·

Greek Acropolises, Neither Democratic Refuges nor Residences of Prehistoric Kings: A Study Questions Their Origin and Function

 📐Algorithms
labrujulaverde.com·

Projective and anomalous representations of categories and their linearizations

 🔢Mathematical Logic  Content type: Academic
arxiv.org·

triangulated bifunctor in nLab

 Functional Programming
ncatlab.org·

Learning Transfers: Kan Extensions for Neural Invariants

 🔢Mathematical Logic  Content type: Academic
arxiv.org·

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

 🔢Mathematical Logic  Content type: Academic
arxiv.org·

quasitriangular Hopf 2-algebra in nLab

 Functional Programming
ncatlab.org·

Strict stability of extension types

 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