Framed Combinatorial Topology
`Framed combinatorial topology’ is the title of a book we just uploaded to the arXiv. On the linked page you’ll find more information!
The project is part of the larger endeavor of diagrammatic higher category theory.
Christoph Dorn
Building foundational tools for novel insights (sometimes abstractly).
- United Kingdom
- TypeDB
- Oxford Math
- Oxford CS
- Cambridge Math
- ETH Physics
- GitHub
You May Also Enjoy
Infinite room, finitely represented
Comments first published
Freudenthal suspension theorem, Whitney’s embedding theorem, the stabilization hypothesis. They all root in the same simple mathematical observation: infinite room can be finitely represented. → read note
TypeDB3.0 released!
Comments first published
After a year of hard work, we released the very first version of TypeDB 3, which lays solid foundations for our vision of creating a modern declarative database programming framework. → read note
The life cycle of a diagonal argument
Comments first published
Diagonal arguments are ubiquitious. We present them in general form, and mention how specific examples arise from this presentation. → read note
Diagrammatic geometry (stub)
Comments first published
Diagrammatic geometry makes manifold theory a joyous exercise of diagram-drawing. It has far-reaching consequences for our understanding of the interaction between higher algebra, combinatorics, and differential geometry. → read note