Document Search Results

Hinze, Ralf; Marsden, Dan

Introducing string diagrams. The art of category theory. (English) Zbl 1525.18001

Cambridge: Cambridge University Press (ISBN 978-1-00-931786-3/hbk; 978-1-00-931782-5/ebook). xiv, 182 p. (2023).

Reviewer: Tobias Fritz (Innsbruck)

MSC: 18-01 18N10 18C15 68N18

Cite Review PDF

Full Text: DOI

Zwart, Maaike; Marsden, Dan

No-go theorems for distributive laws. (English) Zbl 07471702

Log. Methods Comput. Sci. 18, No. 1, Paper No. 13, 61 p. (2022).

MSC: 18C15 68Q55

Cite Review PDF

Full Text: arXiv Link

Gogioso, Stefano; Marsden, Dan; Coecke, Bob

Symmetric monoidal structure with local character is a property. (English) Zbl 1486.18029

Selinger, Peter (ed.) et al., Proceedings of the 15th international conference on quantum physics and logic, QPL’18, Halifax, Canada, June 3–7, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 287, 179-190 (2019).

MSC: 18M05

Cite Review PDF

Full Text: arXiv Link

Marsden, Dan; Zwart, Maaike

Quantitative foundations for resource theories. (English) Zbl 1528.18008

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 32, 17 p. (2018).

MSC: 18D20 18C15 18C20 18F20 18F75

Cite Review PDF

Full Text: DOI

Coecke, Bob; Genovese, Fabrizio; Gogioso, Stefano; Marsden, Dan; Piedeleu, Robin

Uniqueness of composition in quantum theory and linguistics. (English) Zbl 1486.18014

Coecke, Bob (ed.) et al., Proceedings of the 14th international conference on quantum physics and logic, QPL’17, Nijmegen, The Netherlands, July 3–7, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 266, 249-257 (2018).

MSC: 18D15 18C50 03B65 81P10 68T50

Cite Review PDF

Full Text: arXiv Link

Coecke, Bob; Genovese, Fabrizio; Lewis, Martha; Marsden, Dan; Toumi, Alex

Generalized relations in linguistics & cognition. (English) Zbl 1408.91187

Theor. Comput. Sci. 752, 104-115 (2018).

MSC: 91F20 18D15

Cite Review PDF

Full Text: DOI

Zwart, Maaike; Marsden, Dan

Don’t Try This at Home: No-Go Theorems for Distributive Laws. arXiv:1811.06460

Preprint, arXiv:1811.06460 [math.CT] (2018).

MSC: 18C15

Cite

Full Text: arXiv

OA License

Marsden, Dan

Ambiguity and incomplete information in categorical models of language. (English) Zbl 1484.91363

Duncan, Ross (ed.) et al., Proceedings of the 13th international conference on quantum physics and logic, QPL’16, Glasgow, Scotland, June 6–10, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 236, 95-107 (2017).

MSC: 91F20 18M40

Cite Review PDF

Full Text: arXiv Link

Marsden, Dan; Genovese, Fabrizio

Custom hypergraph categories via generalized relations. (English) Zbl 1433.68205

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 17, 16 p. (2017).

MSC: 68Q55 18C50 18D15

Cite Review PDF

Full Text: DOI arXiv

Coecke, Bob; Genovese, Fabrizio; Lewis, Martha; Marsden, Dan

Generalized relations in linguistics and cognition. (English) Zbl 1408.91186

Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 256-270 (2017).

MSC: 91F20 18D15

Cite Review PDF

Full Text: DOI Link

Hinze, Ralf; Marsden, Dan

Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. (English) Zbl 1375.18027

J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 931-951 (2016).

MSC: 18C20

Cite Review PDF

Full Text: DOI

Hinze, Ralf; Marsden, Dan

Dragging proofs out of pictures. (English) Zbl 1343.18007

Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 152-168 (2016).

MSC: 18C15 18A10 18A15 18D10

Cite Review PDF

Full Text: DOI

Found 12 Documents (Results 1–12)

Introducing string diagrams. The art of category theory. (English) Zbl 1525.18001

No-go theorems for distributive laws. (English) Zbl 07471702

Symmetric monoidal structure with local character is a property. (English) Zbl 1486.18029

Quantitative foundations for resource theories. (English) Zbl 1528.18008

Uniqueness of composition in quantum theory and linguistics. (English) Zbl 1486.18014

Generalized relations in linguistics & cognition. (English) Zbl 1408.91187

Don’t Try This at Home: No-Go Theorems for Distributive Laws. arXiv:1811.06460

Ambiguity and incomplete information in categorical models of language. (English) Zbl 1484.91363

Custom hypergraph categories via generalized relations. (English) Zbl 1433.68205

Generalized relations in linguistics and cognition. (English) Zbl 1408.91186

Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. (English) Zbl 1375.18027

Dragging proofs out of pictures. (English) Zbl 1343.18007

Filter Results by …

Document Type

Database

Author

Serial

Year of Publication

Main Field

Software