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