bicomplete category
1. Definition
Let \(\mathcal{C}\) be a category. Then $\mathcal{C} is said to be bicomplete, if it is both complete and cocomplete
Let \(\mathcal{C}\) be a category. Then $\mathcal{C} is said to be bicomplete, if it is both complete and cocomplete
Date: nil
Created: 2024-10-13 So 18:26