homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
An -functor is simply a functor between -categories. Similarly, an -functor is a functor between -categories.
Of course, as the definition of -category gets more complicated as increases, so does the appropriate definition of functor. This explains why one says ‘-functor’ instead of simply ‘functor’ all along. On the other hand, anything that goes between -categories, if it deserves to be called anything like ‘functor’ at all, will be an -functor, so the prefix is not really necessary.
An -natural transformation goes between -functors, and there are things to go between those as well, etc. The most general concept is an --transfor.
Last revised on January 24, 2013 at 22:34:13. See the history of this page for a list of all contributions to it.