homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
typical contexts
A generalization of the notion of concrete category from category theory to (n,1)-category theory.
A concrete (n,1)-category is a (n,1)-category equipped with a (n+1)-surjective functor
to the large (n,1)-category nGrpd of n-groupoids. We say a (n,1)-category is concretizable if and only if it admits a -surjective functor .
Last revised on May 21, 2023 at 13:52:16. See the history of this page for a list of all contributions to it.