small diagram
1. Definition
Let \(\mathcal{C}\) be a category and \(\mathcal{F}: \mathcal{J} \rightarrow \mathcal{C}\) a diagram. Then \(\mathcal{F}\) is said to be small, if \(\mathrm{Ob}(\mathcal{J})\) is small category
Let \(\mathcal{C}\) be a category and \(\mathcal{F}: \mathcal{J} \rightarrow \mathcal{C}\) a diagram. Then \(\mathcal{F}\) is said to be small, if \(\mathrm{Ob}(\mathcal{J})\) is small category
Date: nil
Created: 2024-10-13 So 18:29