A first-order logic for string diagrams

DOI10.4230/LIPIcs.CALCO.2015.171zbMath1366.03243arXiv1505.00343OpenAlexW2963195206MaRDI QIDQ5275350

David Quick, Aleks Kissinger

Publication date: 11 July 2017

Full work available at URL: https://arxiv.org/abs/1505.00343

zbMATH Keywords

first-order logicstring diagramsabstract tensor systemscompact closed monoidal categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items

Tensors, !-graphs, and non-commutative quantum structures ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item