英和和英

名詞

bicartesian closed category (複数形 bicartesian closed categories)

1. (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}$.

同意語

• BCCC

上位語

• cartesian closed category
• cocartesian closed category

下位語

• Heyting algebra
• Heyting prealgebra

参照

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