Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
gptkb:mathematical_concept |
| gptkbp:category |
MonCat (category of monoidal categories and strong monoidal functors)
|
| gptkbp:compatibleWith |
Strict monoidal functor
|
| gptkbp:field |
Category theory
|
| gptkbp:generalizes |
gptkb:Colax_monoidal_functor
Lax monoidal functor |
| gptkbp:hasComponent |
Functor F: C → D
Isomorphism φ_0: I_D ≅ F(I_C) Natural isomorphism φ_{A,B}: F(A) ⊗ F(B) ≅ F(A ⊗ B) |
| gptkbp:hasDefinitionSource |
Mac Lane, Categories for the Working Mathematician
|
| gptkbp:hasProperty |
Equipped with natural isomorphisms
Preserves monoidal structure up to isomorphism |
| https://www.w3.org/2000/01/rdf-schema#label |
Strong monoidal functor
|
| gptkbp:mapsBetween |
Monoidal categories
|
| gptkbp:relatedTo |
gptkb:Monoidal_category
gptkb:Monoidal_functor |
| gptkbp:satisfies |
Coherence conditions
|
| gptkbp:usedIn |
gptkb:Mathematics
gptkb:Theoretical_computer_science Quantum computation |
| gptkbp:bfsParent |
gptkb:Monoidal_functor
|
| gptkbp:bfsLayer |
6
|