finitely bicomplete category
1. Definition
Let \(\mathcal{C}\) be a category. Then \(\mathcal{C}\) is said to be finitely bicomplete, if it is finitely complete and finitely cocomplete
Let \(\mathcal{C}\) be a category. Then \(\mathcal{C}\) is said to be finitely bicomplete, if it is finitely complete and finitely cocomplete
Date: nil
Created: 2024-10-19 Sa 21:53