discrete limit as product
1. Proposition
Let \(\mathcal{C}\) be a category and \(F: \mathcal{J} \rightarrow \mathcal{C}\) a discrete diagram . Then the limit is isomorphic to the categorical product
2. Proof
definitions
Let \(\mathcal{C}\) be a category and \(F: \mathcal{J} \rightarrow \mathcal{C}\) a discrete diagram . Then the limit is isomorphic to the categorical product
definitions
Date: nil
Created: 2024-10-13 So 18:19