finitely cocomplete category
1. Definition
Let \(\mathcal{C}\) be a category. Then \(\mathcal{C}\) is said to be finitely cocomplete, if has all finite colimit
Let \(\mathcal{C}\) be a category. Then \(\mathcal{C}\) is said to be finitely cocomplete, if has all finite colimit
Date: nil
Created: 2024-10-13 So 18:42