Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:product
|
| gptkbp:bfsLayer |
6
|
| gptkbp:bfsParent |
gptkb:Topoi
|
| gptkbp:has |
Monoids
Sets with Cartesian product Vector spaces with tensor product |
| gptkbp:has_programs |
gptkb:Topological_quantum_field_theory
gptkb:product gptkb:Quantum_mechanics Computer science Algebraic topology Homotopy theory |
| gptkbp:has_property |
associativity
categorical logic tensor product categorical semantics braided monoidal categories categorical topology categorical algebra categorical cohomology categorical combinatorics categorical dynamics categorical geometry categorical homology categorical number theory categorical physics categorical representation theory categorical set theory coherence conditions dual objects identity object lax monoidal functors monoidal adjunctions monoidal colimits monoidal equivalences monoidal functors monoidal limits monoidal natural transformations monoidal structures natural isomorphism strong monoidal functors tensorial categories tensorial strength traced monoidal categories |
| https://www.w3.org/2000/01/rdf-schema#label |
Monoidal categories
|
| gptkbp:relationship |
Closed monoidal categories
Enriched categories Strict monoidal categories Symmetric monoidal categories Weak monoidal categories |