2-functor
In mathematics, a 2-functor is a morphism between 2-categories. They may be defined formally using enrichment by saying that a 2-category is exactly a Cat-enriched category and a 2-functor is a Cat-functor. Explicitly, if C and D are 2-categories then a 2-functor consists of
* a function , and
* for each pair of objects a functor such that each strictly preserves identity objects and they commute with horizontal composition in C and D. See for more details and for lax versions.
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
2-functor
In mathematics, a 2-functor is a morphism between 2-categories. They may be defined formally using enrichment by saying that a 2-category is exactly a Cat-enriched category and a 2-functor is a Cat-functor. Explicitly, if C and D are 2-categories then a 2-functor consists of
* a function , and
* for each pair of objects a functor such that each strictly preserves identity objects and they commute with horizontal composition in C and D. See for more details and for lax versions.
has abstract
In mathematics, a 2-functor is ...... details and for lax versions.
@en
Wikipage page ID
47,489,599
page length (characters) of wiki page
Wikipage revision ID
1,009,627,940
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
In mathematics, a 2-functor is ...... details and for lax versions.
@en
label
2-functor
@en