Terminal object
Empty category
Empty category
を以下のように定義できる:
- 残りは省略
Empty diagram
Domainがempty categoryのdiagramのこと。Empty diagramのことを
と書くことにする。
Terminal object
@deprecated
Empty diagram
へのcone
は、vertex
と本質的に等しい。というのも、そのようなconeは定義により:
だからである。Empty diagram
のlimitをterminal objectといい
と書く:
そのvertexも
で参照する。
