加载中…
Motivated by the desire to turn the cobordism hypothesis (a statement about the universal property of some -category of bordisms) into a -categorical statement, we prove that all -categories can be modeled by \emph{-cospan contexts}: these are -categories equipped with a collection of iterated cospans that satisfy a composition property in terms of pushouts. In particular, we construct an adjunction from to the category of -cospan contexts which simultaneously generalizes the -fold span construction of Haugseng and the twisted arrow category construction (when ).

生成讲解博客的中文版本

生成AI智能校验的中文版本