# 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.

Building typeful databases at TypeDB.

- United Kingdom
- TypeDB
- Oxford Math
- Oxford CS
- Cambridge Math
- ETH Physics
- GitHub

`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.

Comments first published

This short note takes a birds-eye perspective on motivations for working as a researcher in mathematics and physics (which are first and foremost motivations personal to me, but I think they may be shared with many others). I briefly round up some (glimmers of) potentially interesting projects that I find fascinating. The note is written on the occasion on moving on to other endeavors. → read note

first published

Fast and mathematically self-contained introduction to basic ideas in diagrammatic higher category theory, written up as an article for the n-Category Café. → go to link

Comments first published

Mazur manifolds are intimately related to homology spheres, and are part of the puzzling world of 4-manifolds. Here we construct the simplest example of a Mazur manifold as a tangle diagram. → read note

Comments first published

We allow ourselves to speculate a bit about how the 1-dimensional logical constructs that one frequently encounters in practical approaches to mathematical foundations may in fact emerge from a set of “more fundamental” principles of compositionality in higher-dimensional logic. → read note