en
bicartesian closed category
An
English
term in
ConceptNet 5.8
Source:
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Types of bicartesian closed category
en
heyting algebra
➜
en
heyting algebra
(
n
)
➜
en
heyting prealgebra
➜
Related terms
en
cartesian closed category
➜
en
coproduct
➜
en
initial object
➜
bicartesian closed category is a type of…
en
cartesian closed category
(
n
)
➜
en
cartesian closed category
➜
en
cocartesian closed category
➜
Word forms
en
bicartesian closed categories
(
n
)
➜
Derived from
en
cartesian closed category
➜
Context of this term
en
category theory
➜
Links to other resources
en.wiktionary.org
bicartesian closed category