An invitation to geometric higher categories
While the term “diagrammatic higher category” is new, its underlying idea is not: coherences in higher structures can be derived from (stratified) manifold topology. This idea is central to the cobordism hypothesis (and to the relation of manifold singularities and dualizability structures as previously discussed on the $n$Category Café), as well as to many other parts of modern Quantum Topology. So far, however, this close relation of manifold theory and higher category theory hasn’t been fully worked out. Geometric higher category theory aims to change that, and this blog post will sketch some of the central ideas of how it does so. A slightly more comprehensive (but bloglengthexceeding) version of this introduction to diagrammatic higher categories can be found here:
Today, I only want to focus on two basic questions about diagrammatic higher categories: namely, what is the idea behind the connection of geometry and higher category theory? And, what are the first ingredients needed in formalizing this connection?
What is geometric about diagrammatic higher categories?
I would like to argue that there is a useful categorization of models of higher structures into three categories. But, I will only give one good example for my argument. The absence of other examples, however, can be taken as a problem that needs to be addressed, and as one of the motivations for studying diagrammatic higher categories! The three categories of models that I want to consider are “geometric”, “topological” and “combinatorial” models of higher structures. Really, depending on your taste, different adjectives could have been chosen for these categories: for instance, in place of “combinatorial”, maybe you find that the adjectives “categorical” or “algebraic” are more applicable for what is to follow; and in place of “geometric”, maybe saying “manifoldstratified” would have been more descriptive.
But let’s get to the promised example of how these three categories of models work and how they relate. We start with the archetypical model of a type of higher structure: namely, with topological spaces. Unsurprisingly, topological spaces fall firmly into the category of topological models. The type of higher structure modelled by topological spaces deserves a name: we will refer to them as homotopy types. There is a second wellknown model for homotopy types, namely, $\infty$groupoids. Unlike spaces, whose theory is based on the continuum $\mathbb{R}^n$, $\infty$groupoids are discrete structures whose data is captured by collections of morphisms in each dimension $k \in \mathbb{N}$. This makes $\infty$groupoids a prime example of a ‘combinatorial’ (or, ‘algebraic’, or, ‘categorical’) model of a higher structure. (I should point out that I am being vague about concrete definitions of the above named ‘models’; for instance, ‘spaces’ could be, more concretely, taken to mean CW complexes, and $\infty$groupoids could be taken to mean Kan complexes.) Despite being rather different in flavour, the higher theory (i.e. the homotopy theory) of topological spaces and the higher theory of $\infty$groupoids turn out to be equivalent. The two models are related by two important constructions: we can pass from spaces to $\infty$groupoids by taking the fundamental categories of spaces (usually referred to as their ‘fundamental $\infty$groupoids’), and, conversely, we can realize $\infty$groupoids as spaces.
Now the interesting question: what is the geometric counterpart to the above topological and combinatorial models? In different words, how can we understand the homotopy theory of spaces in terms of a theory of manifoldstratified structures? The answer is given by the theory of cobordisms, or more precisely, stratified cobordisms. The most wellknown instance of how cobordisms and spaces relate in this sense is the classical Pontryagin theorem. The theorem describes the isomorphism
\[\Omega ^{\mathrm{fr}} _{m} (\mathbb{R} ^{n}) \cong \pi _{n} (S ^{nm})\]between the cobordism group of smooth (normal) framed $m$manifolds in $\mathbb{R}^n$ and the $n$th homotopy group of the $(nm)$sphere. The resulting relation between smooth manifold theory and homotopy theory is incredibly ubiquitous in modern Algebraic Topology (and, relatedly, in Physics) but often implicitly so — in the words of Mike Hopkins, Pontryagin’s theorem itself marks the point in time at which Algebraic Topology became ‘modern’.
Importantly for us, the theorem generalizes from spheres to arbitrary spaces (or, more precisely, CW complexes): namely, the $n$th homotopy group of any space $X$ can be understood in terms of the framed stratified cobordisms group of framed $X$stratifications of $\mathbb{R}^n$ (where, roughly, an ‘$X$stratification’ is a stratification whose singularity types are determined by the ‘dual cells’ of $X$). Formulaically, this may be expressed by writing
\[\Omega ^{\mathrm{fr}} _{X\text{str}} (\mathbb{R} ^{n}) \cong \pi _{n} (X).\]The details of this generalization are spelled out in [1, Ch. VII], in a chapter titled “the geometry of CW complexes”, but really the basic idea of the construction remains essentially the same (for the experts: instead of working with a regular value point of $S^{nm}$, we work with a regular dual stratification of the CW complex $X$). To summarize, we can study the homotopy groups of spaces, or, in combinatorial terms, the higher morphisms in $\infty$groupoids, by means of framed stratified cobordisms. The relation between the geometry of stratified cobordisms and the homotopy theory of spaces can be conceptually thought of as a process of dualization (which translates stratification data back into cells, and we will return to this later on).
The main point I now want to make is that the trilogy of geometric, topological, and combinatorial models exemplified above in the case of homotopy types should also extend to other types of higher structures. In particular, $(\infty,1)$categories and $(\infty,n)$categories should admit both topological models and geometric models — however, these classes of models haven’t been much explored so far (as an aside, in the $(\infty,1)$case there is the theory of $d$spaces which appears to be an existing topological counterpart to $(\infty,1)$categories even though I’m unsure how much this relation has been formally explored). The situation is summarized in Table 1 below, in which we have filled in precisely some of the missing entries for geometric and topological models of higher structures: to indicate their conceptual nature, names of these models have been kept in quotes.
At a first glance, it seems like finding concrete definitions for these directed geometric models would be a tall order. After all, the theory of stratified cobordisms itself has its mathematical depths, and realizing the step from $\infty$groupoids (say, Kan complexes) to concrete definitions of $(\infty,n)$categories is not necessarily an obvious one.
But this is where things may get exciting. Indeed, by the end of this blog post I hope to have convinced you that the geometric models of higher structures may, in fact, get much easier when passing to the directed setting of $n$categories. Moreover, to then study the undirected setting (i.e., in combinatorial terms, the case of higher categories with invertible morphisms) from the perspective of directed geometric models provides a refined view on the computational intricacies of invertibility.
Of course, in order to be able to tell this story, I will have to shortly show you some concrete notions that aim to realize the geometric models outlined above. The notions go by the names of manifold diagrams resp. tangle diagrams, the latter being the relevant notion when considering invertible morphisms. Both notions have been added to Table 1 in their respective places (note that the $(\infty,n)$case requires us to deal with manifold diagrams in and below dimension $n$, and with tangle diagrams above dimension $n$). Neither of these notions should come as a complete surprise, as we are already familiar with some of their instances: manifold diagrams specialize to string diagrams in dimension $n = 2$, i.e. they generalize the latter notion to arbitrary higher dimensions; and, (unstratified, framed) tangle diagrams formalize in all dimensions the pictures you are likely to draw when thinking about the tangle hypothesis!
Importantly, note that I wrote that the notions ‘aim to realize’ the aforementioned geometric models. Indeed, how do we measure ‘correctness’ of our definitions of manifold diagrams? Unfortunately, no reasonablystraightforward benchmark for models of directed geometry exists at this point (actually, the same was in some sense true for manifolds when they were discovered, but they were quickly accepted due to their ubiquity in mathematics and physics). Certainly, passing from geometry to combinatorics in Table 1, a comparison to existing models of $(\infty,n)$categories would provide such a benchmark, but work remains to be done towards developing this relation, including the developement of a more comprehensive theory of diagrammatic higher categories (we will briefly discuss the case of ‘free’ diagrammatic higher categories later). Today, I want to focus mainly on directed geometric models in the left column in Table 1. Indeed, I argue that these geometric models may very much deserve your interest on their own for the following ‘more elementary’ reasons.

Simplicity and ubiquity. Firstly, the definitions of manifold and tangle diagrams are simultaneously simple and expressive: both definitions succeed in encompassing large classes of known examples, including ordinary string diagrams and surface diagrams, knot and surfaceknot diagrams, as well as their respective moves (Reidemeister moves and ‘movie moves’), and smooth manifold singularities such as Arnold’s ADE singularities [2].

Trilogy of models. Secondly, and this is a central part of the story, the theory of manifold and tangle diagrams comprises powerful dualization and combinatorialization results. From these results, one may then try to derive natural translations between all three columns of Table 1: in the topological column this leads to notions of directed spaces which we refer to as framed spaces; in the combinatorial column we obtain notions of higher categories which we refer to as diagrammatic higher categories. (Note, both terms are used in a broad sense here, with concrete details of their respective theories being the topic of ongoing research). In the resulting combinatorial models, highercategorical coherences are naturally related to stratified manifold isotopies!

Application. Thirdly and lastly, even without higher structures as our primary object of study, manifold and tangle diagrams provide a new tool at the interface of combinatorial higher algebra and differential topology. This leads to interesting questions such as the precise nature of the relation between diagram combinatorics and differential singularities (which I will briefly return to later), and a potentially ‘natural’ approach to combinatorial encodings of smooth structures.
Now that we have a rough idea about what makes geometric models of higher structures ‘geometric’, and why they might be interesting, let’s see some definitions!
From zero to manifold diagrams
Here’s a oneline slogan about manifold diagrams: manifold $n$diagrams are compactly triangulable, conical stratifications of $n$dimensional directed euclidean space. There are thus three ingredients that we need to talk about.

What is directed euclidean space?

What are (conical) stratifications?

What does it mean to be compactly triangulable?
Strongly condensing material from [3] and [4], let us address these ingredients in the above order!
Ingredient 1: Directedness via framings
We will infuse our spaces with directions by means of framings: recall, classically, a framing is something akin to a ‘choice of tangential directions’ at all points of a given space (usually a manifold, as otherwise it may be hard to talk about ‘tangential directions’). Our use of the term ‘framing’ will be a somewhat nonstandard variation of this idea.
For motivation, we start with the observation that given a real $n$dimensional inner product space $V$, the following two structures on $V$ are equivalent:

An orthonormal framing of $V$, i.e. an ordered sequence $(v_1, v_2, …, v_n)$ with $\langle v_i, v_j \rangle = \delta_{ij}$.

A chain of linear surjections $V_i \to V_{i1}$ of oriented $i$dimensional $V_i$’s starting at $V_n = V$.
A correspondence between these structures can be produced by setting $V_i = \mathrm{span}(v_1, …, v_i)$ (endowed with the orientiation in which $(v_1, …, v_i)$ is a positively oriented ordered basis) and defining $V_i \to V_{i1}$ to be the map that forgets $v_i$.
What’s going on here? To get a bit of intuition, let’s consider the following analogous and hopefully familiar situation: given a Riemannian manifold $M$ there is a correspondence between (smooth) gradient vector fields on $M$ and (smooth) functions $M \to \mathbb{R}$ up to shifting functions by a constant. (To ensure the analogy is clear: the vector field, where it is nonzero, plays the role of a 1frame $v_1$, whereas the corresponding function $M \to \mathbb{R}$ plays the role of a linear surjection $V \to V_1$ of tangent spaces at these points.) So why would we want to shift perspectives from vectors to surjections in this way? The secret reason is that ‘orthonormality’ ceases to exist in absence of inner products (or, in the given analogy, in absence of Riemannian metrics), but the notion of linear surjections does not. Put differently, by basing our notion of framings on surjections rather than vectors we can emulate some form of orthonormality even in the absence of inner products. Somehow, this is rather important for the story of manifold diagrams. But let’s put the intuition aside, and spell out the definition.
While it is possible to use the above idea of ‘framingsviasurjectiontowers’ to define framed spaces in quite some generality, we will only be interested in the euclidean case (this case is in some sense a ‘local model’ for more general framed spaces). Here it is: the standard $n$framing of $\mathbb{R}^n$ is the chain of oriented $\mathbb{R}$fiber bundles
\[\pi_i : \mathbb{R}^i \to \mathbb{R}^{i1} \quad (1 \leq i \leq n)\]with $\pi_i$ defined to be the map that forgets the last coordinate of $\mathbb{R}^i$ (and with fibers carrying the standard orientation of $\mathbb{R}$ after identifying $\mathbb{R}^i = \mathbb{R}^{i1} \times \mathbb{R}$). When considering $\mathbb{R}^n$ we will always tacitly think of it as ‘standard framed $\mathbb{R}^n$’ and, thus, we stop mentioning the standard framing as an explicit structure alltogether. Indeed, more important than defining the standard $n$framing is to define the maps that preserve it: a framed map $F : \mathbb{R}^n \to \mathbb{R}^n$ is a map for which there exist (necessarily unique) maps $F_j : \mathbb{R}^j \to \mathbb{R}^j$ ($0 \leq j \leq n$) such that $F_n = F$ and
\[\pi_i \circ F_i = F_{i1} \circ \pi_i\]and each $F_i$ preserves orientations of fibers of $\pi_i$ (for concreteness, let’s take ‘orientation preserving’ to mean strictly monotonic).
How do such framed maps look like? Well, you can think up examples in an inductive fashion. A framed map $\mathbb{R} \to \mathbb{R}$ is simply a stricty monotonic one. Next up, a framed map $\mathbb{R}^2 \to \mathbb{R}^2$ is a map that descends along $\pi_2 : \mathbb{R}^2 \to \mathbb{R}$ to a framed map $\mathbb{R} \to \mathbb{R}$, and also maps fibers of the projection strictly monotonicly… and so on. From this, it’s not so hard to deduce a first basic observation: the space of framed homeomorphisms $\mathbb{R}^n \to \mathbb{R}^n$ is, in fact, contractible.
Ingredient 2: Conical stratifications
Next up, let’s discuss stratifications. Really, the only thing you need to know is the following. In its weakest form, a stratification $f$ of a space $X$ (together also called a ‘stratified space’ $(X,f)$) is a decomposition of that space into a disjoint union of subspaces called strata. And a stratified map of stratified spaces is a map of underlying spaces that maps strata of the domain into strata of the codomain (a ‘stratified homeomorphism’ is a stratified map with an inverse stratified map). Products of stratified spaces take products of underlying spaces and stratify them with products of strata. Cones of stratified spaces take cones of underlying spaces and stratify them with cones of strata, but the cone point is kept as a separate stratum.
Simple enough! But, if you happen to have an inclination towards higher structures, then I can easily relay a better way of thinking about stratifications in a single sentence: namely, spaces are to sets, what stratified spaces are to posets. The situation is illustrated in Table 2 (nonstandard terminology is kept in quotes as before). In particular, just as spaces $X$ have fundamental sets $\Pi _ 0 X$, stratified spaces $(X,f)$ have fundamental posets $\mathcal{E} _ 0 (X,f)$. Just as spaces $X$ have fundamental $\infty$groupoids $\Pi_\infty X$, and both $X$ and $\Pi_\infty X$ model the same homotopy type, stratified spaces $(X,f)$ have fundamental $\infty$posets $\mathcal{E} _ \infty (X,f)$, and both model the same higher structure. (Here ‘$\mathcal{E}$’ indicates that in the literature one more commonly finds the terms ‘Entrance’ or ‘Exit path categories’; but really, there’s a general story to be told here for passing from a structure S to an $\infty$S structure, and from a topological thing to its fundamental category, so ‘fundamental $\infty$poset’ is not a bad name at all and it illustrates the point.) Importantly, to make this highercategorical story work nicely, it turns out to be central that our topological definition of stratified spaces has one further property: conicality!
While both conicality and the aforementioned highercategorical constructions are discussed in more detail in the extended version of this post, here, we shall not need them in full generality. Indeed, we are only interested in the framed euclidean case, and that case goes as follows.
First, note that the adjectives ‘framed’ and ‘stratified’ can be easily combined: for instance, a framed stratified map $(\mathbb{R}^n,f) \to (\mathbb{R}^n,g)$ is a stratified map whose underlying map $\mathbb{R}^n \to \mathbb{R}^n$ is framed. Moreover, when working with stratified products $(\mathbb{R}^k,f) \times (\mathbb{R}^{nk}, g)$ we will identitify $\mathbb{R}^n \cong \mathbb{R}^k \times \mathbb{R}^{nk}$ in the standard way; and, when working with stratified cones $(\mathrm{Cone}(S^{n1}), \mathrm{cone}(l))$ of stratified spaces $(S^{n1}, l)$, we will standard embed $S^{n1} \hookrightarrow \mathbb{R}^n$ and identify $\mathrm{Cone}(S^{n1}) \cong \mathbb{R}^n$ by mapping $(x \in S^{n1},\lambda \in [0,1))$ to $\frac{\lambda}{1  \lambda}x \in \mathbb{R}^n$.
With these conventions at hand, we may now introduce conicality in our framed setting as follows: a stratification $(\mathbb{R}^n,f)$ is framed conical if each point $x \in \mathbb{R}^n$ has a framed stratified neighborhood $(\mathbb{R}^n,g_x) \hookrightarrow (\mathbb{R}^n,f)$ for which we may choose $0 \leq k \leq n$ and a stratification $(S^{nk1}, l_x)$ such that there exists a framed stratified homeomorphism
\[(\mathbb{R}^n,g_x) \cong _ {\mathrm{fr}} \mathbb{R}^k \times (\mathrm{Cone}(S^{nk1}), \mathrm{cone}(l_x))\]and (under this homeomorphism) $x$ is mapped into $\mathbb{R}^k \times {0}$. (Note that the stratification $l_x$ is also called a link around $x$.) Importantly, framed conicality is really just a ‘framed’ version of traditional conicality!
Ingredient 3: Framed compact triangulability
The last ingredient for the notion of manifold diagrams is that of framed compact triangulability. To begin, let me remark that imposing a compact triangulability condition is a reasonable thing to do: indeed, in our earlier discussion of Pontryagin’s theorem we met cobordisms of manifolds embedded in $\mathbb{R}^n$ that have compact support — ‘framed compact triangulability’ may be thought of as a generalization of this situation (adapted to the setting of framed stratifications). The condition can be succinctly formulated by starting in the PL category: a compactlydefined triangulation $K$ of $\mathbb{R}^n$ is a finite stratification of $\mathbb{R}^n$ by open disks whose closures are the images of linear embeddings $\Delta^k \times \mathbb{R}^l_{\geq 0} \hookrightarrow \mathbb{R}^n$ (where $k + l \leq n$). This translates to the framed stratified case as follows: a stratification $(\mathbb{R}^n,f)$ is framed compactly triangulable if it admits a framed stratified subdivision $(\mathbb{R}^n,K) \to (\mathbb{R}^n,f)$ of $f$ by a compactlydefined triangulation $K$. (Note, a ‘subdivision’ is a stratified map whose underlying map is a homeomorphism.)
Putting it all together
We have now introduced all the necessary ingredients (and importantly, there are not that many), and we can mix them together in the following central definition.
Definition ([4]). A manifold $n$diagram is a framed conical stratification $(\mathbb{R}^n,f)$ that is framed compactly triangulable.
Let’s unwind this definition and look at some examples. First, in order to be able to depict $\mathbb{R}^n$, observe that there is a framed homeomorphism $\mathbb{R}^n \cong _{\mathrm{fr}} (1,1) ^n$; here, ‘framed’ means that composing with the inclusion $(1,1) ^n \hookrightarrow \mathbb{R}^n$ yields a framed map $\mathbb{R}^n \to \mathbb{R}^n$ as defined earlier (in fact, the choice for a framed identification $\mathbb{R}^n \cong _{\mathrm{fr}} (1,1) ^n$ is again unique up to contractible choice). With that in mind, we will depict all our examples of manifold diagrams as living on the open cube $(1,1)^n$.
Example 1: String diagrams. An ordinary string diagram is a manifold 2diagram. We illustrate one in Figure 1 below, and visually verify the framed conicality condition at three points.
Figure 1: A manifold 2diagram or 'string diagram'.
Example 2: The ‘Cockett pocket’ composite (Verity). Consider the stratification shown in Figure 2 below: this is a manifold 3diagram. We indicate a tubular neighborhood and its framed conical structure as before.
Figure 2: A manifold 3diagram or 'surface diagram'.
Example 3: $A$series singularities. It is often useful to think of a manifold $n$diagram as a ‘movie’ of manifold $(n1)$diagrams. As an example, check out this $n$Lab picture: the first surface illustrates a manifold 3diagram as a movie of manifold 2diagrams (note that the diagram is ‘stratified by the named strata’; for instance, the surface labelled by $U$ is its own stratum, and so is the line stratum labeled by $\epsilon$ etc.). One dimension up, we can similarly depict manifold 4diagrams as movies of manifold 3diagrams: for instance, Figure 3 below shows a movie that starts with the 3diagram we’ve just seen, and then gradually shrinks its ‘interior’ into a point.
Figure 3: The 'swallowtail', or A3 singularity, as a manifold 4diagram.
In fact, this is manifold 4diagram has a name: it’s often called the ‘swallowtail’ and it corresponds to the classical differential $A_3$ singularity; as such, it is part of an infinite series of socalled $A_k$ singularities! Bonus trivia: the linked picture happens to be the title image of MSRI program 323 “Higher categories and categorification”.
Example 4: $D$series singularities. There is a bigger story to be told about ‘singularities’: roughly speaking, singularities are those manifold $n$diagrams in which we can merge strata into a single embedded $m$manifold $W^m \hookrightarrow \mathbb{R}^n$ that is then framed stratified homeomorphic to the cone of an embedding $S^{m1} \hookrightarrow S^{n1}$. The swallowtail mentioned above provides one example. Interestingly, one also finds examples that do not have classical differential counterparts (in that they don’t directly arise as (parametrized) graphs of (parametrized) smooth functions, see [4, Sec. 3.4] for the heuristic idea at play). The first such nonclassical singularity is the ‘$D_2$’ singularity (for the experts: this corresponds to the ‘horizontal cusp’ movie move in CarterSaito’s work), and it is illustrated in Figure 4 below.
Figure 4: The manifold 4diagram of the D2 singlarity.
One dimension up, the $D_2$ singularity itself becomes part of the link of other singularities. One of these, termed the $D_3$ singularity (which, again, is a nonclassical singularity), is particularly interesting and its link is given by the movie in Figure 5 (the full manifold 5diagram is a movie of movies, which shrinks the interior of the given movie into a single point… similar to Figure 3 and 4, but one dimension higher!)
Figure 5: The D3 singularity link as a manifold 4diagram (containing two D2 singularities).
Even one dimension up from $D_3$ (now working in $\mathbb{R}^6$!), we find singularities whose link contains $D_3$ singularities, and (surprise!) one of these now corresponds to the classical differential $D_4$ singularity (which, again, is only the beginning of an infinite sequence of socalled $D_k$ singularities). In Figure 6, we depict the $3$projection (namely, projecting along the standard projection $\mathbb{R}^6 \to \mathbb{R}^3$ which forgets the last three coordinates) of certain strata in $D_4$, and a comparison to other singularities in that dimension. However, for any substantive discussion of these pictures and symbols we must refer to [4, Sec. 3.4] and this post. (A vatic aside: the reason that we can so confidently work in all dimensions, ultimatly, roots in the combinatorial dimensioninductive principles secretly controlling manifold diagrams in the background … see ‘property (1)’ below!)
Figure 6: 3projections of the manifold 6diagram D4 singularity and other singularities in dim 6.
Example 5: Braids, Reidemeister III and beyond. Besides singularities, manifold diagrams also describe interesting ‘interactions at a distance’ of manifold strata. The braid $(\mathbb{R}^3, b)$ provides a first example of this: as illustrated in Figure 7, it is a manifold 3diagram which tracks two points in the plane rotating around one another by $\pi$. (You should check that not only is the braid a manifold diagram, but it is not framed stratified homeomorphic to any product diagram $\mathbb{R} \times (\mathbb{R}^2, \ast \cup \ast \hookrightarrow \mathbb{R}^2)$, where the second factor is a stratification of the $\mathbb{R}^2$ plane by two embedded points and their complement.)
Figure 7: The braid isotopy.
One dimension up, we find the Reidemeister III isotopy, which is the (track of an) isotopy that shifts a constellation of three braids into a different constellation of three braids, while passing through a ‘triple braid’. This is illustrated in this $n$Lab picture and it, too, is a manifold 4diagram as can be easily verified! And, in yet higher dimensions, you will start seeing isotopies such as the Zamolodchikov tetrahedron identity cropping up as manifold diagrams. We will briefly return to the topic of isotopies later!
The first few properties
Let us mention a few important consequences of our definition of manifold diagrams, some of which link back to our earlier question of why one may want to care about manifold diagrams, and others which highlight some of the pleasant properties of manifold diagrams (the verifications of all these claims can be found in [4]).
(1) Canonical combinatorializations. While the compact triangulability condition requires the existence of some combinatorial representation (namely a triangulation), it turns out that there is in fact a canonical combinatorial representation for manifold diagrams (up to framed stratified homeomorphism).
For the experts, it may be helpful to give a somewhat condensed explanation here: the claim follows from the observation that manifold $n$diagrams have coarsest framed subdivisions by certain projectionstable stratified 0types $(\mathbb{R}^n, M)$ called $n$meshes (where ‘stratified 0type’ means that the $\infty$poset $\mathcal{E}_\infty M$ is equivalent to a poset, and ‘projectionstable’ means that $\mathbb{R}^n \to \mathbb{R}^k$ projects $M$ onto a $k$mesh). Meshes, in turn, are fully described by their ‘framed’ fundamental posets $\mathcal{E}_0 M$, also called trusses. Finally, trusses (endowed with appropriate combinatorial stratification data) combinatorially classify manifold diagrams. The process is illustrated in Figure 8.
Figure 8: The braid, its canonical mesh, and its combinatorializing truss.
(2) Manifold regularity. Strata in manifold diagrams are, indeed, manifolds (this is an immediate consequence of the framed conicality condition). However, more turns out to be true: strata have canonical smooth structures as well! This follows since strata inherit a classical framing (from the framing of the ambient Euclidean space), since all strata in manifold diagrams are PL manifolds (this follows at root from the theory behind point (1)), and since, by smoothing theory, framed PL manifolds have unique framed smooth structure.
(3) Link welldefinedness. Links of strata found in manifold diagrams (i.e. the stratifications with symbol ‘$l_x$’ in the earlier definition) are in fact welldefined: that is, there is, up to framed stratified homeomorphism, a unique choice of link $l_x$ at any given point $x$ of the diagram. This stands in contrast to classical topological conical stratifications, where nonhomeomorphic choices of links exist.
(4) Geometric duality. Manifold diagrams have canonical geometric duals (in the sense of Poincaré duality). This duality relates manifold diagrams to socalled (framed) cell diagrams, which may then be considered as classical pasting diagrams (but with cells whose shapes generalize most of the familiar classes of shapes, such as ‘globular’, ‘simplicial’, or ‘opetopic’ shapes).
Let me dwell, and highlight once more, point (1) of the above list for a moment. It turns out that, as a consequence of (1), essentially all parts of the theory manifolds diagrams (i.e. their mappings, their neighborhoods, their links, their products, their cones, etc.) have canonical combinatorial counterparts in the theory of trusses — this quickly leads us on a path into a rich combinatorial world, which is explored in some detail in [3, Ch. 2] (and to which I also devoted (way too) many pages in my PhD thesis). Moreover, many parts of this combinatorial world are, in contrast to classical PL combinatorics, computationally tractable, which then extends to computability statements about manifold diagrams as well: for instance, the ‘framed stratified homeomorphism problem’ for manifold $n$diagrams is decidable, while the analogous ‘stratified (PL) homeomorphism problem’ for compact PL stratifications in $\mathbb{R}^n$ is undecidable. (In fact, this observation is implicitly exploited by the diagrammatic proof assistant homotopy.io!) In summary, as a consequence of (1), manifold diagrams become very tractable objects to work with.
Diagrammatic computads and beyond
With the central definition of manifold diagams spelled out, let us begin to wrap things up and end this post by pointing out a few further directions of research (if you feel that this ending is premature, once more, I happily refer you to the extended version of this post!). Let’s start with a closer look at point (4) from the above list as it, too, entails an interesting story. The geometric duality of manifold and cell diagrams is parallel to (in fact, it is based on) a geometric duality in the theory of meshes (which, at the level of framed fundamental posets, becomes a categorical duality in the theory of trusses). The ‘dual meshes’ produced in this way turn out to be cell complexes: their cells are characterized by being both regular and carrying compatible framings — accordingly, they have been termed framed regular cells in [3]. Dualizing the observation of manifold diagrams admitting canonical subdivisions into meshes, one finds that cell diagrams equally have canonical subdivisions into framed regular cell complexes (these are the ‘dual meshes’). However, this subdivision is a nonidentity stratified map and it carries important information: it records which cells belong to the same stratum, or, in categorical terms, it records which cells are secretely degeneracies of lower dimensionsal cells. The ‘stratified encoding’ of degeneracies in this way may be a bit unfamiliar, but, together with the large shape class of framed regular cells, it has powerful consequences.

Manifold $n$diagrams that do not contain point strata are also called diagram isotopies. They may be thought of as the tracks of ordinary stratified isotopies of manifold $(n1)$diagrams (the braid, which we met in Figure 7, is an example). It has been a long held intuition that such isotopies encode certain highercategorical coherences. The translation underlying this intuition (from isotopies to highercategorical laws) can be made fully precise via point (4): indeed, dualization translates isotopies to certain cell diagrams, which, after accounting for degeneracies, can then be cast as an equation between pasting diagrams. (It may be equally remarkable to note that the combinatorializability of manifold diagrams leads to a fully combinatorial theory of isotopies of manifold diagrams in the first place.) My favorite example of this process is the definition of categorical laws governing the sequence of categories, functors, natural transformations, modifications, … .

With a notion of directed cells at hand, we may also consider ‘global’ directed higher structures simply by appropriately gluing such cells. The simplest, but also most instructive, such construction happens when we build our higher structures freely: this yields the case of diagrammatic computads. The definition of diagrammatic computads is exceedingly simple, as it need not follow the traditional inductive twostep procedure of building computads: indeed, usually one constructs computads inductively by, in the $n$th step, adding generating $n$morphisms with boundary in existing $(n1)$morphisms, and then passing to the closure under composition and coherence conditions (which, passing back and forth between “new composites” and “new coherences” is often a pretty infinite process). In diagrammatic computads, this is process becomes unnecessary: boundaries of $n$morphisms are manifold $(n1)$diagrams (or, if you work dually, cell $(n1)$diagrams) which already can express all the composites and isotopies you could possibly need. This makes diagrammatic computads really easy to work with.
The story of diagrammatic higher structures can be spun further in various ways, and active developement of its foundations is still underway. One direction that I wanted to highlight (in fact, asking David Corfield about this direction was the original motivation for writing the present blog post) is diagrammatic higher type theory: basically, the idea is to exploit the easiness of diagrammatic computads and their isotopy coherence laws in order to study the “internal language of the diagrammatic computad of all diagrammatic computads”. A hypothetical higher type theory of this kind could have interesting consequences, for instance, by demonstrating that $\Pi/\Sigma$ types can be internally constructed from a set of basic higher compositional principles (i.e. they need not be assumed as primitive rules). But, in only the last two sentences, we have gotten ourselves into rather speculative terrain!
Finally, one of my favorite and dearest parts of diagrammatic higher categorical thinking (which, at the same time, is also one of the most mysterious parts for me) is the role that invertibility and dualizability plays in it. Here, of course, the cobordism hypothesis finally comes into play: invertible morphisms are modelled not by manifold diagrams, but by socalled tangle diagrams — (omitting all details,) tangle diagrams are simply a variation of manifold diagrams in which we allow strata to ‘change directions’ with respect to the ambient framing [4]. However, really, this setup leads to a rather refined perspective on tangles as it provides a combinatorial framework for studying neighborhoods of ‘higher critical points’ (i.e. the points where tangles ‘change direction’). There is a tantalizing but mysterious connection of these critical points with classical differential ADE singularities [2]: on one hand, classical singularities seem to resurface as ‘perturbationstable’ singularities in tangle diagrams, on the other hand, the differential machinery breaks down (producing ‘moduli of singularities’) in high parameter ranges and this simply cannot happen in the combinatorial approach; put differently, the combinatorial approach must be better behaved than the differential approach in some way. Certainly, the ‘higher compositional’ perspective given through the lens of diagrams is something that also has no differential counterpart at all (and it leads to new interesting observations, for instance, how to break up the classical threefold symmetry of $D_4$ into a bunch of binarilypairedup singularities, as we visualized in Figure 6). But despite many ‘visible patterns’, most of this line of research remains completely unexplored (attempts of laying at least some foundations were made in [4])… but maybe that’s what I find so exciting about it. :)
These are just a few of many directions you could pursue in studying diagrammatic higher categories. And I hope with time, the picture of how diagrammatic higher categories might contribute to the larger endeavours of current research in mathematics and physics will become clearer.
Acknowledgments
I would really like to take this opportunity to thank the hosts of the $n$Category Café, which has been, and continues to be, a source of inspiration in manifold aspects of research and life. In particular, many of the ideas in diagrammatic higher category theory have been thought up by you. And many other ramblings have been very fun to read. (And while I’m at it, let me also give a shout out to the currently or formerly Oxfordbased thinkers of diagrammatic higher categories: Christopher Douglas, Lukas Heidemann, André Henriques, David Reutter, Jamie Vicary, and many others, all of whose work has contributed to this area slowly emerging over the past few years).
An incomplete list of references
[1] Buoncristiano, Rourke and Sanderson. A geometric approach to homology theory. 1976. (CUP, ResearchGate)
[2] Arnold. Normal forms for functions near degenerate critical points, the Weyl groups of $A_k$, $D_k$, $E_k$ and Langrangian singularities. 1972. (Springer)
[3] Dorn and Douglas. Framed combinatorial topology, Math. Surveys and Monographs, to appear (2025).
[4] Dorn and Douglas. Manifold diagrams and tame tangles. 2022. (arXiv, latest)