homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
In the pattern of (n,r)-categories a -category is just an ordinary category.
Created on September 11, 2010 at 20:31:56. See the history of this page for a list of all contributions to it.