Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
The concept of $(2,1)$-functors is that of the natural kind of morphisms between (2,1)-categories.
If (2,1)-categories are regarded as special cases of 2-categories, then $(2,1)$-functors are equivalently the 2-functors between (2,1)-categories.
If (2,1)-categories are regarded as special cases of (∞,1)-categories, then $(2,1)$-functors are equivalently the (∞,1)-functors between (2,1)-categories.
Last revised on August 30, 2018 at 13:34:13. See the history of this page for a list of all contributions to it.