Product category
Product category
任意の category と について、product category:
を次のように定義できる:
Projection functor
任意の product category について、projection functor:
を定義できる。
Bifunctor
Domain が product category になっている functor のこと:
参考文献
*1:直積集合、正確には直積"類"
任意の category と について、product category:
を次のように定義できる:
任意の product category について、projection functor:
を定義できる。
Domain が product category になっている functor のこと:
*1:直積集合、正確には直積"類"