homotopy hypothesis-theorem delooping hypothesis-theorem stabilization hypothesis-theorem A -category is a categorification of the notion of an -algebra. An -category is a -category with a -structure that defines an antinatural transformation? from to , where is the conjugate hom-Hilbert space. Introduced in: