categorical coproduct
1. Definition
Let \(\mathcal{C}\) be a category. A coproduct of objects \(A,B\) is a categorical product in the dual category \(\mathcal{C}^{\mathrm{op}}\)
Let \(\mathcal{C}\) be a category. A coproduct of objects \(A,B\) is a categorical product in the dual category \(\mathcal{C}^{\mathrm{op}}\)
Date: nil
Created: 2024-10-12 Sa 23:12