Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
gptkb:mathematical_concept |
| gptkbp:canBe |
gptkb:lax_monoidal_functor
gptkb:oplax_monoidal_functor gptkb:strong_monoidal_functor |
| gptkbp:codomain |
gptkb:monoidal_category
|
| gptkbp:definedIn |
functor F: C → D between monoidal categories
|
| gptkbp:domain |
gptkb:monoidal_category
|
| gptkbp:field |
gptkb:category_theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
monoidal functor
|
| gptkbp:preserves |
tensor product structure
unit object (up to isomorphism) |
| gptkbp:relatedTo |
monoidal natural transformation
|
| gptkbp:requires |
morphism I_D → F(I_C)
natural isomorphism F(X) ⊗ F(Y) ≅ F(X ⊗ Y) |
| gptkbp:used_in |
representation theory
higher category theory quantum algebra |
| gptkbp:bfsParent |
gptkb:Mac_Lane's_coherence_theorem
|
| gptkbp:bfsLayer |
6
|