gptkbp:instanceOf
|
gptkb:mathematical_concept
Category theory concept
|
gptkbp:defines
|
A category equipped with a bifunctor, an identity object, and natural isomorphisms satisfying coherence conditions
|
gptkbp:example
|
gptkb:Category_of_sets_with_cartesian_product
Category of vector spaces with tensor product
Category of modules over a ring with tensor product
|
gptkbp:field
|
Category theory
|
gptkbp:generalizes
|
gptkb:Braided_monoidal_category
gptkb:Strict_monoidal_category
gptkb:Symmetric_monoidal_category
|
gptkbp:hasBifunctor
|
gptkb:Tensor_product
|
gptkbp:hasCoherenceTheorem
|
gptkb:Mac_Lane's_coherence_theorem
|
gptkbp:hasIdentityObject
|
Unit object
|
gptkbp:hasNaturalIsomorphisms
|
gptkb:Left_unitor
gptkb:Right_unitor
Associator
|
https://www.w3.org/2000/01/rdf-schema#label
|
Monoidal category
|
gptkbp:introduced
|
gptkb:Saunders_Mac_Lane
|
gptkbp:introducedIn
|
1963
|
gptkbp:relatedTo
|
gptkb:Enriched_category
gptkb:Monoid_in_category_theory
|
gptkbp:satisfies
|
gptkb:Pentagon_identity
gptkb:Triangle_identity
|
gptkbp:usedIn
|
gptkb:algebra
gptkb:Topology
gptkb:Theoretical_computer_science
Quantum computing
|
gptkbp:bfsParent
|
gptkb:Tensor_product
gptkb:Bifunctor
gptkb:Monoidal_functor
|
gptkbp:bfsLayer
|
6
|