noun
Meaning 1
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∐B.
Definition source: English Wiktionary via Wiktextract
Topics: category-theory, computing, engineering, mathematics, natural-sciences, physical-sciences, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided