| http://dbpedia.org/ontology/abstract
|
String diagrams are a formal graphical lan … 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.ed in the language of monoidal categories.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Commutative_diagram_to_string_diagram.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://discopy.readthedocs.org/ +
, https://dynamonsworld.com/ +
, https://www.youtube.com/watch%3Fv=USYRDDZ9yEc +
, https://ghostarchive.org/varchive/youtube/20211219/USYRDDZ9yEc +
|
| http://dbpedia.org/ontology/wikiPageID
|
3967296
|
| http://dbpedia.org/ontology/wikiPageLength
|
28059
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1124761712
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Monoidal_categories +
, http://dbpedia.org/resource/Free_strict_monoidal_category +
, http://dbpedia.org/resource/Qubits +
, http://dbpedia.org/resource/Braided_monoidal_categories +
, http://dbpedia.org/resource/Monoidal_functor +
, http://dbpedia.org/resource/Applied_category_theory +
, http://dbpedia.org/resource/LaTeX +
, http://dbpedia.org/resource/Rigid_category +
, http://dbpedia.org/resource/Symmetric_monoidal_category +
, http://dbpedia.org/resource/Polynomial_time +
, http://dbpedia.org/resource/Topological_graph +
, http://dbpedia.org/resource/Proof_net +
, http://dbpedia.org/resource/Tensor_product +
, http://dbpedia.org/resource/Knot_theory +
, http://dbpedia.org/resource/2-categories +
, http://dbpedia.org/resource/Monoidal_categories +
, http://dbpedia.org/resource/Quantum_natural_language_processing +
, http://dbpedia.org/resource/Computational_problems +
, http://dbpedia.org/resource/Completeness_%28logic%29 +
, http://dbpedia.org/resource/Soundness +
, http://dbpedia.org/resource/Penrose_graphical_notation +
, http://dbpedia.org/resource/Continuous_map +
, http://dbpedia.org/resource/Congruence_relation +
, http://dbpedia.org/resource/Diagrammatic_reasoning +
, http://dbpedia.org/resource/Pregroup_grammar +
, http://dbpedia.org/resource/Consciousness +
, http://dbpedia.org/resource/Linear_map +
, http://dbpedia.org/resource/Negation +
, http://dbpedia.org/resource/Poincar%C3%A9_duality +
, http://dbpedia.org/resource/Free_functor +
, http://dbpedia.org/resource/Cell_complex +
, http://dbpedia.org/resource/Categorical_quantum_mechanics +
, http://dbpedia.org/resource/Quantum_teleportation +
, http://dbpedia.org/resource/Natural_language_processing +
, http://dbpedia.org/resource/Deduction_system +
, http://dbpedia.org/resource/Tensor_category +
, http://dbpedia.org/resource/Quantum_circuit +
, http://dbpedia.org/resource/Markov_kernel +
, http://dbpedia.org/resource/Hausdorff_space +
, http://dbpedia.org/resource/Discrete_subset +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/Existential_graph +
, http://dbpedia.org/resource/Closed_subset +
, http://dbpedia.org/resource/PGF/TikZ +
, http://dbpedia.org/resource/Finite_sets +
, http://dbpedia.org/resource/Concurrency_theory +
, http://dbpedia.org/resource/Tensor_network +
, http://dbpedia.org/resource/Conjunctive_query +
, http://dbpedia.org/resource/Dagger_categories +
, http://dbpedia.org/resource/Electronic_circuit +
, http://dbpedia.org/resource/Forgetful_functor +
, http://dbpedia.org/resource/Roger_Penrose +
, http://dbpedia.org/resource/DisCoCat +
, http://dbpedia.org/resource/Quiver_%28mathematics%29 +
, http://dbpedia.org/resource/Hilbert_space +
, http://dbpedia.org/resource/Bayesian_probability +
, http://dbpedia.org/resource/Vector_space +
, http://dbpedia.org/resource/Postselection +
, http://dbpedia.org/resource/Low-dimensional_topology +
, http://dbpedia.org/resource/Composition_%28mathematics%29 +
, http://dbpedia.org/resource/Computer_algebra_systems +
, http://dbpedia.org/resource/Existential_graphs +
, http://dbpedia.org/resource/Eckmann%E2%80%93Hilton_argument +
, http://dbpedia.org/resource/Adjoint_functors +
, http://dbpedia.org/resource/Binary_relation +
, http://dbpedia.org/resource/Symmetric_group +
, http://dbpedia.org/resource/Measurement-based_quantum_computing +
, http://dbpedia.org/resource/Directed_multigraph +
, http://dbpedia.org/resource/Vector_spaces +
, http://dbpedia.org/resource/Braid_group +
, http://dbpedia.org/resource/Frobenius_algebra +
, http://dbpedia.org/resource/Kleene_star +
, http://dbpedia.org/resource/Natural_transformation +
, http://dbpedia.org/resource/Natural_language_semantics +
, http://dbpedia.org/resource/Information_flow +
, http://dbpedia.org/resource/Bidirectional_transformation +
, http://dbpedia.org/resource/Bell_state +
, http://dbpedia.org/resource/Planar_graph +
, http://dbpedia.org/resource/Identity_morphism +
, http://dbpedia.org/resource/Ross_Street +
, http://dbpedia.org/resource/Confluence_%28abstract_rewriting%29 +
, http://dbpedia.org/resource/Category:Higher_category_theory +
, http://dbpedia.org/resource/Quantum_error_correction +
, http://dbpedia.org/resource/Feynman_diagram +
, http://dbpedia.org/resource/Game_theory +
, http://dbpedia.org/resource/Entangled_state +
, http://dbpedia.org/resource/Andr%C3%A9_Joyal +
, http://dbpedia.org/resource/Linear_logic +
, http://dbpedia.org/resource/ZX-calculus +
, http://dbpedia.org/resource/Artificial_neural_networks +
, http://dbpedia.org/resource/Cartesian_product +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Bell_measurement +
, http://dbpedia.org/resource/Morphisms +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Charles_Sanders_Peirce +
, http://dbpedia.org/resource/Rewriting_system +
, http://dbpedia.org/resource/Free_monoid +
, http://dbpedia.org/resource/G%C3%BCnter_Hotz +
, http://dbpedia.org/resource/Word_problem +
, http://dbpedia.org/resource/Connected_component_%28topology%29 +
, http://dbpedia.org/resource/Compact_closed_category +
, http://dbpedia.org/resource/Process +
, http://dbpedia.org/resource/Signal-flow_graph +
, http://dbpedia.org/resource/System +
, http://dbpedia.org/resource/Begriffsschrift +
|
| http://dbpedia.org/property/align
|
center
|
| http://dbpedia.org/property/alt
|
String diagram of the unit
, Duality between commutative diagrams and string diagrams.
, String diagram of the counit
, Diagrammatic representation of the equality
, String diagram of the identity 2-cell
|
| http://dbpedia.org/property/caption
|
String diagram of the identity
, Duality between commutative diagrams and string diagrams
, String diagram of the unit
, String diagram of the counit
, Diagrammatic representation of the equality
|
| http://dbpedia.org/property/direction
|
horizontal
|
| http://dbpedia.org/property/id
|
string+diagram
|
| http://dbpedia.org/property/image
|
String diagram identity.svg
, String diagram adjunction.svg
, Commutative diagram to string diagram.svg
, String diagram unit.svg
, String diagram counit.svg
|
| http://dbpedia.org/property/title
|
String diagrams
|
| http://dbpedia.org/property/width
|
400
, 450
, 90
, 165
, 130
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Wide_image +
, http://dbpedia.org/resource/Template:Nlab +
, http://dbpedia.org/resource/Template:Multiple_image +
, http://dbpedia.org/resource/Template:Cbignore +
, http://dbpedia.org/resource/Template:Cite_video +
, http://dbpedia.org/resource/Template:Commons_category-inline +
, http://dbpedia.org/resource/Template:Category_theory +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Monoidal_categories +
, http://dbpedia.org/resource/Category:Higher_category_theory +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Way +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/String_diagram?oldid=1124761712&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/String_diagram_adjunction.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Commutative_diagram_to_string_diagram.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Teleport.png +
, http://commons.wikimedia.org/wiki/Special:FilePath/String_diagram_unit.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/String_diagram_counit.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/String_diagram_identity.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/String_diagram +
|
| owl:sameAs |
https://global.dbpedia.org/id/4vXzW +
, http://yago-knowledge.org/resource/String_diagram +
, http://rdf.freebase.com/ns/m.0b93dt +
, http://www.wikidata.org/entity/Q7623974 +
, http://dbpedia.org/resource/String_diagram +
|
| rdf:type |
http://dbpedia.org/class/yago/Group100031264 +
, http://dbpedia.org/class/yago/Collection107951464 +
, http://dbpedia.org/class/yago/Class107997703 +
, http://dbpedia.org/class/yago/WikicatMonoidalCategories +
, http://dbpedia.org/class/yago/Abstraction100002137 +
|
| rdfs:comment |
String diagrams are a formal graphical lan … 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.ed in the language of monoidal categories.
|
| rdfs:label |
String diagram
|
