small products and equalizer and complete category
1. Proposition
Let \(\mathcal{C}\) be a category
TFAE:
- \(\mathcal{C}\) is complete
- there exist small products and equalizers
2. Proof
2.1. 1) \(\implies\) 2)
special case, see
- discrete limit as product
- definition of an equalizer