homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
By the general rules of -categories, a -category is an -category such that
You can start from any notion of -category, strict or weak; up to equivalence, the result is always the same as a groupoid.
Last revised on August 25, 2021 at 09:19:37. See the history of this page for a list of all contributions to it.