homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The notion of manifold-diagrammatic higher categories (in some places also referred to as a ‘geometric’ or ‘geometrical’ higher categories) broadly refers to higher categories whose composition operation is modelled on the stratified-geometric notion of manifold diagrams.
Models of higher categories are usually defined as certain collections of k-morphisms that are parametrized by (that is, presheafs on) some category of ‘combinatorial shapes’: examples include presheafs of globular, simplicial or opetopic shapes. Manifold diagrams, while defined in geometric terms, admit a combinatorialization in terms of trusses (or, more precisely, combinatorial manifold diagrams) and can therefore be used as combinatorial shapes for defining higher categories as presheafs on them. Importantly, combinatorial manifold diagrams come with a rich class of combinatorial mappings which (in contrast to most other classes of shapes) include internal representations of both ‘embeddings’ (=‘face and degeneracy’ maps, up to geometric dualization) as well as ‘quotients’ (=‘subdivisions’, up to geometric dualization). We give geometric insight into these classes below, but ultimately only care about their combinatorial definitions.
Embeddings of manifold -diagrams are framed stratified maps whose underlying maps are embeddings of spaces (this is different from the notion of substratifications). The next figure illustrates mappings in this class (in dimension ).
Geometric dualization unveils that embeddings of manifold diagrams are precisely ‘cellular’ maps of their dual framed cell complexes (‘cellular’ is usually meant to imply that maps map closed cells to closed cells), which can be seen to have an (epi,mono) factorization system by degeneracy and face maps. The next figure illustrates this: the shown maps are precisely the the geometric duals of the maps in the previous figure.
Combinatorially, we define the following.
Embeddings of combinatorial manifold diagrams are described by spans of the form
where is a reduction and is map of labeled trusses whose underlying map is regular and injective.
Such spans can be composed by pullback.
Quotients of manifold diagrams are framed stratified maps whose underlying maps are quotient maps. The next figure illustrates mappings in this class (in dimension ).
Geometric dualization unveils that quotients of manifold diagrams correspond to subdivisions of framed cell complexes. The next figure illustrates the geometric duals of the quotient maps in the preceding figure.
Combinatorially, we define the following.
Quotients of combinatorial manifold diagrams are maps of labeled trusses
whose underlying map of trusses is singular and surjective.
To summarize: while the notion embeddings of manifold diagrams recovers (after geometric dualization) face and degeneracy maps often found in the combinatorics of shapes, in contrast, the notion of quotients dual to that of embeddings captures (after geometric dualization) something new: namely, subdivisions of cells. This is quite powerful e.g. for describing compositions as we will exploit below.(Moreover, it turns out that classifying subdivisions is generally a difficult (undecidable) problem, see e.g. Dorn-Douglas 2021, so it is convenient that it can be easily solved in the setting of manifold diagrams!)
We first organize embeddings and quotients (in the sense of Def. resp. Def. ) into categories as follows.
Together, embeddings and quotients organize into the double category of combinatorial manifold -diagrams, with horizonal morphisms being embeddings, vertical morphisms being quotients, squares being commuting diagrams of the following form:
(note that the dashed arrow is unique if it exists.) The category of manifold -diagrams will refer to just the horizontal part of this double category.
When defining higher categories parametrized by manifold -diagrams, we would want higher categories to be compatible both with embeddings (‘morphism attachment’) and quotients (‘morphism composition’) in the following sense.
Sketch definition. A manifold diagrammatic -category should be a presheaf on subject to the following two conditions.
(Coherence conditions). What’s worth pointing out about the above definition sketch is that there are no explicit higher-categorical coherence conditions (like filler or Segal conditions) beyond ordinary sheaf conditions. This is because coherences can be expressed internally to the category of manifold diagrams (namely, as so-called ‘manifold-diagram isotopies’ including, for instance, a braiding).
(The case). So far we worked with -diagrams for fixed finite which work well as parametrizing objects for -categories. However, we can also address the case as follows. Given a combinatorial manifold -diagram , note its cylinder is a combinatorial manifold -diagram. This defines a chain of inclusions of (ordinary resp. double) categories, the colimit of which is a category of manifold diagrams (resp. the double category ) which may then be used to parametrized -categories via the sketch definition above.
To make the preceding sketch precise, one would need to formalize the sheaf condition. We now mention one way of how this could be achieved.
The category (and similarly, from Rmk. ) contains wide subcategories resp. consisting of spans
We define a coverage for . (Note that does not have all pullbacks since, e.g., subdiagrams can intersect in non-diagrams.)
The neighborhood coverage for is the coverage that assigns to the single family comprised of the stratified neighborhoods of .
We may now formalize our earlier sketch definition as follows.
A manifold-diagrammatic -category is a presheaf on such that:
(Note, however, that the practicality of this definition has not yet been established, and several variants are under consideration, cf. next section.)
Instead of considering presheafs on combinatorial manifold diagrams, one may also consider
with various sheaf conditions in place. In both cases, faces, degeneracies and compositions may be understood via mappings as outlined above. The potential advantage of dropping labelings from our parametrizing objects in this way (i.e. considering trusses in place of labeled trusses) is simplicity. For instance, an immediate simplification is that we can work with truss maps instead of spans of truss maps when combinatorially modelling embeddings. This could simplify the comparison to other presheaf models of higher categories.
Another related, potentially useful observation is that the spans occurring in the definition of the category of manifold diagrams may be expressed concisely in terms of bundles (slightly generalizing the notion of labeled truss bordism).
Several other approaches to and variations of the idea of manifold-diagrammatic higher categories are currently under consideration. The categories of combinatorial shapes considered here (whether combinatorial manifold diagrams, or (atomic) trusses, or similar) often have peculiarities that one doesn’t encounter in other settings (e.g. failure to be a Reedy category due to the novel concept of reduction). The precise nature of these shape categories remains to be fully understood.
Geometric computads are free instances of manifold-diagrammatic -categories.
Associative -categories are, in an extended sense, instances of manifold diagrammatic -categories (and, in fact, their combinatorics precedes some of the stratified-geometric ideas of manifold-diagrammatic -categories).
(Globular sets in associative -categories). Note that associative -categories use globular shapes as parametrizing objects rather than manifold diagrams. This can be related to the above discussion as follows. Using Rmk. , denote by the category of (‘strictly globular’) manifold diagrams with source/target inclusions as maps, and by the globe category. Then there is a retraction (which maps as the ‘terminal’ manifold -diagram, namely, the geometric dual of the -globe) and (which maps an -manifold diagram to the -globe). This retraction can be used to ‘work with globular sets whose composition is defined via manifold diagrams’.
As mentioned above, coherences in manifold-diagrammatic categories derive from isotopies of manifold diagrams. This provides a different mechanism for coherence construction than the mechanism found in many existing, spatially-inspired models of higher categories (which create coherences by enforcing contractibility of ‘spaces of composites’). The conceptual difference between the two mechanisms is discussed in more detail in this blog post.
Manifold-diagrammatic categories have also been referred to ‘geometric higher categories’ or ‘geometrical higher categories’, based on a distinction of ‘geometric’, ‘topological’ and ‘combinatorial’ models of higher structures as explained here. See also here for a relevant discussion about terminology.
A condensed write-up of the mathematics needed for stating the above formal definition of manifold-diagrammatic higher categories was compiled in
and explained in
A general introduction to some of the relevant ideas in the area can be found in
with further details spelled out in
The type of ‘directed combinatorial topology’ that governs the stratified topology of manifold diagrams was described in
Last revised on June 3, 2023 at 19:47:33. See the history of this page for a list of all contributions to it.