Complete category: Difference between revisions
(New page: {{category property}} ==Definition== A '''complete category''' is a category that admits all small limits. In particular, it admits all categorical products, direct limit...) |
No edit summary |
||
| Line 4: | Line 4: | ||
A '''complete category''' is a [[category]] that admits all [[small limit]]s. In particular, it admits all [[categorical product]]s, [[direct limit]]s, and [[equalizer]]s. | A '''complete category''' is a [[category]] that admits all [[small limit]]s. In particular, it admits all [[categorical product]]s, [[direct limit]]s, and [[equalizer]]s. | ||
==Relation with other properties== | |||
===Related properties=== | |||
* [[Cocomplete category]] | |||
Latest revision as of 02:03, 9 December 2008
This article defines a category property: a property that can be evaluated to true/false given a category.
View a complete list of category properties|Get category property lookup help |Get exploration suggestions
VIEW RELATED: Category property implications | Category property non-implications | Category metaproperty satisfactions | Category metaproperty dissatisfactions | Category property satisfactions |Category property dissatisfactions
Definition
A complete category is a category that admits all small limits. In particular, it admits all categorical products, direct limits, and equalizers.