0
Bobo192 ∙
A bicartesian closed category is a cartesian closed category which also has an initial object and such that for any pair of objects, A and B, in the category, the category has another object which is their coproduct.
Wiki User
Chat with our AI personalities