Category of elements
Category of elements
- functor P:C→Set
について、category of elements:
- ∫CP
とは
- comma category (Δ(1)↓P) *1
のこと。
Category of coelements
- functor P:Cop→Set
について、category of coelements:
- ∫CP
とは
- comma category (Δ(1)↓P)op
のこと。
Coelements functor
(とでも呼ぶことにする) *2
- ∫C:SetCop→Cat
- ∫C(ϑ:P→Q)=(ϑA∘a)a:1→PA
命題
- ∫C≅(y↓Δ(–)) *3