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

Abramsky, Samson; Marsden, Dan

Comonadic semantics for hybrid logic. (English) Zbl 07893045

Szeider, Stefan (ed.) et al., 47th international symposium on mathematical foundations of computer science, MFCS 2022, Vienna, Austria, August 22–26, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 241, Article 7, 14 p. (2022).

MSC: 68Qxx

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

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

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

Found 5 Documents (Results 1–5)

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

Comonadic semantics for hybrid logic. (English) Zbl 07893045

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

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

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

Filter Results by …

Document Type

Author

Year of Publication

Main Field