strong monoidal functor

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:Functor
gptkb:mathematical_concept
gptkbp:field gptkb:category_theory
gptkbp:generalizes gptkb:lax_monoidal_functor
strict monoidal functor
gptkbp:hasProperty natural isomorphism between unit objects
natural isomorphism between F(X)⊗F(Y) and F(X⊗Y)
https://www.w3.org/2000/01/rdf-schema#label strong monoidal functor
gptkbp:preserves monoidal structure up to isomorphism
gptkbp:relatedTo gptkb:monoidal_functor
gptkb:monoidal_category
gptkbp:usedIn gptkb:mathematics
theoretical computer science
gptkbp:bfsParent gptkb:monoidal_functor
gptkbp:bfsLayer 7