End
Wedge category
Difunctor:
へのwedgeをobjectとするcategory:
をcone categoryと同様にして作ることが出来る。
Ending wedge
のterminal object:
をending wedgeという。
End
Ending wedgeのvertex をendといい
- あるいは、
で表す:
一意性
Limiting coneと同様に、(terminal objectであるので)ending wedgeは一意性をもつ。
特に、isomorphism:
が存在すれば、
もending wedgeになる。
Mono性
Limiting coneと同様に、ending wedgeはmono性を持つ:
Natural transformationの集合はend
とすると、
は、ending wedgeになる:
Ends in sets
Difunctor:
について、
とすると、
は、ending wedgeになる:
Limitはend
- がlimiting cone
- がending wedge
つまり、