| dbo:abstract
|
- String diagrams are a formal graphical language for representing morphisms in monoidal categories, or more generally 2-cells in 2-categories. They are a prominent tool in applied category theory. When interpreted in the monoidal category of vector spaces and linear maps with the tensor product, string diagrams are called tensor networks or Penrose graphical notation. This has led to the development of categorical quantum mechanics where the axioms of quantum theory are expressed in the language of monoidal categories. (en)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 28059 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:align
| |
| dbp:alt
|
- Duality between commutative diagrams and string diagrams. (en)
- Diagrammatic representation of the equality (en)
- String diagram of the counit (en)
- String diagram of the identity 2-cell (en)
- String diagram of the unit (en)
|
| dbp:caption
|
- Diagrammatic representation of the equality (en)
- String diagram of the counit (en)
- String diagram of the identity (en)
- String diagram of the unit (en)
- Duality between commutative diagrams and string diagrams (en)
|
| dbp:direction
| |
| dbp:id
| |
| dbp:image
|
- Commutative diagram to string diagram.svg (en)
- String diagram adjunction.svg (en)
- String diagram counit.svg (en)
- String diagram identity.svg (en)
- String diagram unit.svg (en)
|
| dbp:title
| |
| dbp:width
|
- 90 (xsd:integer)
- 130 (xsd:integer)
- 165 (xsd:integer)
- 400 (xsd:integer)
- 450 (xsd:integer)
|
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- String diagrams are a formal graphical language for representing morphisms in monoidal categories, or more generally 2-cells in 2-categories. They are a prominent tool in applied category theory. When interpreted in the monoidal category of vector spaces and linear maps with the tensor product, string diagrams are called tensor networks or Penrose graphical notation. This has led to the development of categorical quantum mechanics where the axioms of quantum theory are expressed in the language of monoidal categories. (en)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
