An invitation to geometric higher categories (external link)
Fast and mathematically self-contained introduction to basic ideas in geometric higher category theory, written up as an article for the n-Category Café.
Christoph Dorn
Post-doctoral Researcher at Oxford.
- United Kingdom
- Oxford Math
- Oxford CS
- Cambridge Math
- ETH Physics
- GitHub
You May Also Enjoy
Mazur manifold as tangle diagram
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
Principles of higher-dimensional logic
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
Towards computable manifolds
Comments first published
In this (exceedingly brief) note, we discuss computability questions in the context of manifold theory. The main observation is that several computabilty issues in classical “set-point (differential) topological” foundations may potentially be overcome when working with manifolds from the higher-categorical perspective of manifold diagrams and tangles. → read note
The $D_4$ dualizability law
Comments first published
This note gives a brief visual guide to how one can understand the classical \(D_4\) singularity in terms of a categorical pasting diagram (aka manifold diagram, or more specifically, a tame tangle). → read note