Bicartesian closed category

English

Etymology

From Template:Prefix.

Noun

1. Template:Lb 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, $A\coprod B$.

Synonyms

• BCCC

Hypernyms

• Template:L
• Template:L

Hyponyms

• Template:L
• Template:L

References

• Jeltsch, Wolfgang (2012). An Introduction to Category Theory and Categorical Logic, slide 21.