An invitation to g̶e̶o̶m̶e̶t̶r̶i̶c̶ diagrammatic higher categories (external link)
Fast and mathematically self-contained introduction to basic ideas in diagrammatic higher category theory, written up as an article for the n-Category Café.
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