Loading [MathJax]/jax/output/HTML-CSS/jax.js

PS

Category of elements

Category of elements

  • functor P:CSet

について、category of elements:

  • CP

とは

  • comma category (Δ(1)P) *1

のこと。

Category of coelements

  • functor P:CopSet

について、category of coelements:

  • CP

とは

  • comma category (Δ(1)P)op

のこと。

Coelements functor

(とでも呼ぶことにする) *2

  • C:SetCopCat
  • C(ϑ:PQ)=(ϑAa)a:1PA

命題

  • C(yΔ()) *3

参考文献

*1:1 はsingleton set

*2:comma functorの一種

*3:Yoneda lemmaの対応による