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
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
Date: nil
Created: 2024-12-09 Mo 07:46