Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
gptkb:mathematical_concept |
| gptkbp:codomain |
gptkb:Symmetric_monoidal_category
|
| gptkbp:domain |
gptkb:Symmetric_monoidal_category
|
| gptkbp:field |
Category theory
|
| gptkbp:preserves |
gptkb:Symmetry
Monoidal structure |
| gptkbp:relatedTo |
gptkb:Monoidal_functor
gptkb:Symmetric_monoidal_category |
| gptkbp:usedIn |
gptkb:Mathematics
gptkb:Theoretical_computer_science |
| http://www.w3.org/2000/01/rdf-schema#label |
Symmetric monoidal functor
|