|
In the mathematical field of Category theory, a 2-functor is a morphism between 2-categories. Because strict 2-categories can be defined as categories enriched in ''Cat'', the category of small categories, a 2-functor can be defined succinctly as a ''Cat''-enriched functor. Spelling this out a bit, let ''C'' and ''D'' be categories. A 2-functor consists of * a function , and * for each pair of objects a functor on hom-categories, such that these functors strictly preserves identity objects and commute with compositions. See for more details and for lax versions. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「2-functor」の詳細全文を読む スポンサード リンク
|