3 stories tagged category-theory, newest first.
3 points by measurablefunc | 0 comments
arXiv abstract page for Dusko Pavlovic's 2012 paper proposing a model of computation based on monoidal categories and string diagrams.
3 points by measurablefunc | 0 comments
A draft research note modeling AI companies as cybernetic systems using higher groupoid semantics, ∞-topoi, and jet-level neural tangent kernel learning dynamics.
169 points by speckx | 79 comments
Blog post examining the 'push ifs up and fors down' coding idiom from TigerBeetle's TigerStyle, relating it to database query optimization and category theory.