Cospan contexts and higher categories
Motivated by the desire to turn the cobordism hypothesis (a statement about the universal property of some $n$-category of bordisms) into a $1$-categorical statement, we prove that all $n$-categories can be modeled by \emph{$n$-cospan contexts}: these are $1$-categories equipped with a collection of iterated cospans that satisfy a composition property in terms of pushouts. In particular, we construct an adjunction from $\mathsf{Cat}_n$ to the category of $n$-cospan contexts which simultaneously generalizes the $n$-fold span construction of Haugseng and the twisted arrow category construction…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.24473
curl -X POST /api/v1/records/arxiv/2610.24473/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.24473/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'