翻訳と辞書
Words near each other
・ 2-Ethoxyethanol
・ 2-Ethyl-1-butanol
・ 2-Ethyl-4,5-dimethylphenol
・ 2-Ethylanthraquinone
・ 2-Ethylhexanoic acid
・ 2-Ethylhexanol
・ 2-Ethylidene-1,5-dimethyl-3,3-diphenylpyrrolidine
・ 2-ethylmalate synthase
・ 2-EXPTIME
・ 2-factor theorem
・ 2-Fluoroamphetamine
・ 2-Fluoroethanol
・ 2-Fluoromethamphetamine
・ 2-Formylbenzoate dehydrogenase
・ 2-Formylpyridine
2-functor
・ 2-Furanone
・ 2-furoate—CoA ligase
・ 2-Furoic acid
・ 2-Furonitrile
・ 2-Furoyl chloride
・ 2-furoyl-CoA dehydrogenase
・ 2-graph
・ 2-group
・ 2-haloacid dehalogenase (configuration-inverting)
・ 2-haloacid dehalogenase (configuration-retaining)
・ 2-haloalkanoic acid dehalogenase
・ 2-Headed Shark Attack
・ 2-Heptanol
・ 2-Heptanone


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

2-functor : ウィキペディア英語版
2-functor
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 F\colon C\to D consists of
* a function F\colon \text C\to \text D, and
* for each pair of objects c,c'\in C a functor F_\colon \text_(c,c')\to\text_D(Fc,Fc') 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」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.