Bifunctor
Product category Morphism Identity Composition Bifunctoriality 参考文献 Bifunctoriality - PS
Product category Product category - PS より、product category: とは ・・・のような category であった。 Bifunctor Domain が product category の functor: のこと。*1 記法 Bifunctoriality Bifunctor の functoriality は 中置記法では 参考文献 Handbo…
記法 任意のuniversal morphism: について、 とのmediator を、 のような感じで、 と書くことにする。 Power functor その1 Power projectionの族: が存在するならば、これをnaturalにするただ一つのcontravariant functor: を作ることが出来る。 Power func…
Bifunctor lemma Functor の族: が を満たすとき and *1 具体的には とすればよい。 系 Bifunctor: について ならば 参考文献 Categories for the Working Mathematician (Graduate Texts in Mathematics) Category Theory (Oxford Logic Guides) Product of…