bicartesian closed category

English

bi- +‎ cartesian closed category

bicartesian closed category (plural bicartesian closed categories)

(category theory) 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, ${\\displaystyle A\\coprod B}$ .

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

单词	bicartesian closed category
释义	bicartesian closed category English Etymology bi- +‎ cartesian closed category Noun bicartesian closed category (plural bicartesian closed categories) (category theory) 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, ${\\displaystyle A\\coprod B}$ . Abbreviations BCCC Hypernyms cartesian closed category cocartesian closed category Hyponyms Heyting algebra Heyting prealgebra References Jeltsch, Wolfgang (2012). An Introduction to Category Theory and Categorical Logic, slide 21.
随便看	schwieligerer schwieligeres schwieliges schwieligste schwieligstem schwieligsten schwieligster schwieligstes Schwien schwiendriest Schwienhock Schwienhunt Schwiensfleesch Schwienshoad Schwier schwieren Schwierichkjeit schwierig schwierige schwierigem schwierigen schwieriger schwierigere schwierigerem schwierigeren