hasNaturalIsomorphisms

URI: https://gptkb.org/prop/hasNaturalIsomorphisms
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Monoidal_category Associator
gptkb:Monoidal_category gptkb:Left_unitor
gptkb:Monoidal_category gptkb:Right_unitor