Colax monoidal functor

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:Functor
gptkb:mathematical_concept
gptkbp:defines A functor between monoidal categories equipped with a morphism F(X) ⊗ F(Y) → F(X ⊗ Y) and a morphism I' → F(I) satisfying certain coherence conditions.
gptkbp:field Category theory
gptkbp:hasCoherenceConditions gptkb:military_unit
Associativity
https://www.w3.org/2000/01/rdf-schema#label Colax monoidal functor
gptkbp:opposedBy Lax monoidal functor
gptkbp:relatedTo gptkb:Monoidal_category
gptkb:Strong_monoidal_functor
Lax monoidal functor
gptkbp:usedIn gptkb:Mathematics
gptkb:Theoretical_computer_science
gptkbp:bfsParent gptkb:Monoidal_functor
gptkbp:bfsLayer 6