# nLab bicomplete category

Complete categories

category theory

## Applications

#### Limits and colimits

limits and colimits

# Complete categories

## Definition

A category $C$ 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: D \to C$

where $D$ is a small category has a limit and a colimit in $C$.

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