Complete category
Finite category
以下を満たすcategory のこと。
- はfinite set
- はfinite set
Small category
以下を満たすcategory のこと。
- はset
- はset
Finite diagram
Domainがfinite categoryになっているdiagram。 Small diagramも同様に。
Has all finite (co)limits
任意のfinite diagramの(co)limitが存在するようなcategory。 Has all small limitsも同様に。
Finitely (co)complete category
Has all finite (co)limitsなるcategoryのこと。
(Co)complete category
Has all small (co)limitsなるcategoryのこと。