lax monoidal functor

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:contrastsWith gptkb:oplax_monoidal_functor
gptkb:strong_monoidal_functor
strict monoidal functor
gptkbp:definedIn functor F: C → D between monoidal categories
gptkbp:field gptkb:category_theory
gptkbp:generalizes gptkb:strong_monoidal_functor
gptkbp:hasProperty preserves monoidal structure up to morphism
gptkbp:hasSampleData natural transformation φ_{A,B}: F(A) ⊗ F(B) → F(A ⊗ B)
morphism φ_0: I_D → F(I_C)
https://www.w3.org/2000/01/rdf-schema#label lax monoidal functor
gptkbp:relatedTo gptkb:Functor
gptkb:monoidal_category
gptkbp:satisfies coherence conditions
gptkbp:usedIn gptkb:topology
homological algebra
higher category theory
gptkbp:bfsParent gptkb:monoidal_functor
gptkbp:bfsLayer 7