Bifunctor lemma
Bifunctor lemma
Functor の族:
が
を満たすとき
-
- and *1
具体的には
とすればよい。
系
Bifunctor:
について
ならば
参考文献
- Categories for the Working Mathematician (Graduate Texts in Mathematics)
- Category Theory (Oxford Logic Guides)
- Product of Categories (Pt. II) « Abstract Nonsense
*1:functor の partial application