large complete category and thin category

Proposition

Let \(\mathcal{C}\) be a category, such that \(\mathcal{C}\) admits \(\vert \mathrm{Mor}(\mathcal{C}) \vert\) sized product
Then \(\mathcal{C}\) is a thin category

Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-12-09 Mo 07:46