homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
The notion of blob $n$-category captures the notion of an n-category with all duals. It is formulated in the style of hyperstructure: without any distinction between source and targets.
The definition is well-adapted to describing the (∞,n)-category of cobordisms in the spirit of blob homology.
Let $n \in \mathbb{N}$ be a natural number.
A blob $n$-graph $C$ is given by
for every $k \in \mathbb{N}$ a functor
from the groupoid of topological spaces homeomorphic to a $k$-ball and homeomorphisms between them to Set.
We think of $C(B^k)$ as the set of k-morphisms in the $n$-graph $C$. This means that the geometric shape for higher structures used here is the globe. Therefore the term blob .
We define now a notion of composition on $k$-cells of a blob $n$-graph by induction over $k$. Given a blob $n$-graph with composition for $k$-cells, it can be extended from balls to arbitrary manifolds by the definition extension to general shapes below.
Say that a blob $n$-graph is a blob $n$-graph with composition for 0-cells.
Assume we have a blob $n$-graph $C$ with composition for $(k-1)$-cells for $k \geq 1$. Then composition of $k$-cells on $C$ is a choice of the following structure
a natural transformation – boundary restriction (source/target)
where on the right we have the extension to $(k-1)$ spheres of $C_{k-1}$ described below;
for all balls $B = B_1 \cup_{B_1 \cap B_2} B_2$ and $E := \partial (B_1 \cap B_2)$ a natural transformation – composition
satisfying some compatibility conditions
for all balls $X$, $D$ a natural map – identity
satisfying some compatibility conditions.
(extension to general shapes)
For $C$ a blob $n$-graph with composition for $(k-1)$-cells and $X$ any $(k-1)$-dimensional manifold with $k \lt n$, define $\underset{\to}{C}_{k-1}(X)$ to be the colimit
over the category of permissible decompositions (…) of $X$, where the composition operation in $C$ is used to label refinements of permissible decompositions.
This is (MorrisonWalker, def. 6.3.2).
For $X$ a topological space, its fundamental blob $n$-category $\Pi_{\leq n}(X)$ is the blob $n$-category which sends a $k$-ball for $k \lt n$ to the set of continuous maps of the ball into $X$, and an $n$-ball to the set of homotopy-classes of such maps, relative boundary.
This is (MorrisonWalker, example 6.2.1)).
For $n \in \mathbb{N}$ the blob $n$-category of $n$-dimensional cobordisms $Bord_n$ is the blob $n$-category that sends a $k$-ball $B$ for $k \lt n$ to the set of $k$-dimensional submanifolds $W \hookrightarrow B \times \mathbb{R}^\infty$ such that the projection $W \to B$ is transverse to $\partial B$. An $n$-ball is sent to homeomorphism classes rel boundary of such submanifolds.
This is (MorrisonWalker, example 6.2.6)).
Section 6 of