bicartesian closed category
nounEtymology
From bi- + Cartesian closed category.
Definitions
A Cartesian closed category which also has an initial object and such that for any pair…
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.
The neighborhood
Vish — recursive loop
No curated loop yet for bicartesian closed category. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA