Joyal's lemma

GPTKB entity

Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo cartesian closed categories
gptkbp:field gptkb:category_theory
https://www.w3.org/2000/01/rdf-schema#label Joyal's lemma
gptkbp:namedAfter gptkb:André_Joyal
gptkbp:relatedTo monoidal categories
cartesian closed categories
closed monoidal categories
gptkbp:state Every cartesian closed category is a monoidal closed category with respect to the cartesian product.
gptkbp:yearProposed 1970s
gptkbp:bfsParent gptkb:André_Joyal
gptkbp:bfsLayer 7