nLab
bicomplete category

Complete categories

Context

Category theory

Limits and colimits

Complete categories

Definition

A category CC is bicomplete if it is both a complete category as well as a cocomplete category, hence if it has all small limits and colimits: that is, if every small diagram

F:DC F: D \to C

where DD is a small category has a limit and a colimit in CC.

Created on May 2, 2020 at 00:24:10. See the history of this page for a list of all contributions to it.