Category theory; homological algebra Limits and colimits Concept
Finitely complete category
Summary
A finitely complete category is a category in which every finite diagram has a limit. Equivalently, it has a terminal object and all pullbacks. Finite limits are enough for much of category theory, such as internal groups, regular categories and elementary toposes. Every complete category is finitely complete.
Where this leads
4 pages build on this one.
Further reading
About this page
| Tag | PYSBNWCHCF |
|---|---|
| URI | m2://PYSBNWCHCF |
| Kind | concept |
| Writing | W0 stub |
| MSC | 18A35 |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.