{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T23:05:44Z","timestamp":1779836744099,"version":"3.53.1"},"reference-count":51,"publisher":"Cambridge University Press (CUP)","license":[{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"content-version":"unspecified","delay-in-days":96,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The formal theory of monads shows that much of the theory of monads can be developed in the abstract at the level of 2-categories. This means that results about monads can be established once and for all and simply instantiated in settings such as enriched category theory.<\/jats:p>\n                  <jats:p>Unfortunately, these results can be hard to reason about as they involve more abstract machinery. In this paper, we present the formal theory of monads in terms of string diagrams \u2014 a graphical language for 2-categorical calculations. Using this perspective, we show that many aspects of the theory of monads, such as the Eilenberg\u2013Moore and Kleisli resolutions of monads, liftings, and distributive laws, can be understood in terms of systematic graphical calculational reasoning.<\/jats:p>\n                  <jats:p>This paper will serve as an introduction both to the formal theory of monads and to the use of string diagrams, in particular, their application to calculations in monad theory.<\/jats:p>","DOI":"10.1017\/s095679682500005x","type":"journal-article","created":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T03:37:39Z","timestamp":1743997059000},"update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["The graphical theory of monads"],"prefix":"10.1017","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5678-0286","authenticated-orcid":false,"given":"RALF","family":"HINZE","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0579-0323","authenticated-orcid":false,"given":"DAN","family":"MARSDEN","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2025,4,7]]},"reference":[{"key":"S095679682500005X_ref33","unstructured":"Hinze, R. & Marsden, D. (2025) Exploring String Diagrams \u2013 The Art of Category Theory. Cambridge University Press. Book draft \u2013 estimated completion: 2025."},{"key":"S095679682500005X_ref22","first-page":"33 pages","article-title":"Adjunctions","author":"Fokkinga","year":"1994","journal-title":"Memor. Inform."},{"key":"S095679682500005X_ref14","unstructured":"Coecke, B. & Gogioso, S. (2022) Quantum in Pictures. Quantinuum."},{"key":"S095679682500005X_ref2","first-page":"1","article-title":"Monads need not be endofunctors","volume":"11","author":"Altenkirch","year":"2015","journal-title":"Log. Methods Comput. Sci."},{"key":"S095679682500005X_ref37","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1958-0131451-0"},{"key":"S095679682500005X_ref20","doi-asserted-by":"publisher","DOI":"10.24033\/asens.1125"},{"key":"S095679682500005X_ref36","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(91)90003-P"},{"key":"S095679682500005X_ref42","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/S0022-4049(02)00137-8","article-title":"The formal theory of monads II","volume":"175","author":"Lack","year":"2002","journal-title":"J. Pure Appl. Algebra."},{"key":"S095679682500005X_ref6","unstructured":"Baez, J. C. & Fong, B. (2015) A compositional framework for passive linear networks. arXiv preprint arXiv:1504.05625."},{"key":"S095679682500005X_ref41","doi-asserted-by":"crossref","unstructured":"Lack, S. (2009) A 2-categories companion. In Towards higher categories. Springer, pp. 105\u2013191.","DOI":"10.1007\/978-1-4419-1524-5_4"},{"key":"S095679682500005X_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.05.026"},{"key":"S095679682500005X_ref35","unstructured":"Joyal, A. & Street, R. (1988) Planar diagrams and tensor algebra. Unpublished manuscript, available from Ross Street\u2019s website."},{"key":"S095679682500005X_ref34","doi-asserted-by":"publisher","DOI":"10.1007\/BF01396534"},{"key":"S095679682500005X_ref45","unstructured":"Myers, D. J. (2016) String diagrams for double categories and equipments. arXiv:1612.02762."},{"key":"S095679682500005X_ref47","doi-asserted-by":"crossref","unstructured":"Selinger, P. (2011) A survey of graphical languages for monoidal categories. In New Structures for Physics, Coecke, B. (eds), vol. 813. Lecture Notes in Physics. Springer, pp. 289\u2013355.","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"S095679682500005X_ref48","unstructured":"Sobocinski, P. (2019) Graphical linear algebra. Mathematical blog, Accessed December 18, 2022. Available at: https:\/\/graphicallinearalgebra.net\/."},{"key":"S095679682500005X_ref51","doi-asserted-by":"crossref","unstructured":"Street, R. (1996) Categorical structures. In Handbook of Algebra, vol. 1. Elsevier, pp. 529\u2013577.","DOI":"10.1016\/S1570-7954(96)80019-2"},{"key":"S095679682500005X_ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004110000599"},{"key":"S095679682500005X_ref40","unstructured":"Kock, A. (1966) Continuous Yoneda representation of a small category. Technical report. University of Aarhus, Denmark."},{"key":"S095679682500005X_ref5","first-page":"836","article-title":"Categories in control","volume":"30","author":"Baez","year":"2015","journal-title":"Theory Appl. Categ."},{"key":"S095679682500005X_ref15","doi-asserted-by":"publisher","DOI":"10.1017\/9781316219317"},{"key":"S095679682500005X_ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209165"},{"key":"S095679682500005X_ref1","unstructured":"Aitchison, I. (1987) String diagrams for non-abelian cocycle conditions, handwritten notes, talk presented at Louvain-la-Neuve."},{"key":"S095679682500005X_ref9","doi-asserted-by":"crossref","unstructured":"Bonchi, F. , Giorgio, A. D. , Haydon, N. & Sobocinski, P. (2024) Diagrammatic algebra of first order logic. In Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024. ACM. pp. 16:1\u201316:15.","DOI":"10.1145\/3661814.3662078"},{"key":"S095679682500005X_ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316052"},{"key":"S095679682500005X_ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.12.004"},{"key":"S095679682500005X_ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785665"},{"key":"S095679682500005X_ref13","unstructured":"Clingman, T. , Fong, B. & Spivak, D. I. (2021) Regular calculi I: Graphical regular logic. arXiv preprint arXiv:2109.14123."},{"key":"S095679682500005X_ref32","doi-asserted-by":"publisher","DOI":"10.1017\/9781009317825"},{"key":"S095679682500005X_ref28","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198739623.001.0001"},{"key":"S095679682500005X_ref38","doi-asserted-by":"crossref","unstructured":"Kelly, G. M. & Street, R. (2006) Review of the elements of 2-categories. In Category Seminar: Proceedings Sydney Category Theory Seminar 1972\/1973. Springer, pp. 75\u2013103.","DOI":"10.1007\/BFb0063101"},{"key":"S095679682500005X_ref39","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1965-0177024-4"},{"key":"S095679682500005X_ref50","doi-asserted-by":"publisher","DOI":"10.1007\/BF00872948"},{"key":"S095679682500005X_ref43","unstructured":"Mac Lane, S. (1998) Categories for the Working Mathematician, Second edition. Graduate Texts in Mathematics. Springer."},{"key":"S095679682500005X_ref17","unstructured":"Cruttwell, G. S. & Shulman, M. A. (2009) A unified framework for generalized multicategories. arXiv preprint arXiv:0907.2460."},{"key":"S095679682500005X_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87531-4_2"},{"key":"S095679682500005X_ref27","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886659"},{"key":"S095679682500005X_ref7","doi-asserted-by":"publisher","DOI":"10.1063\/1.4941578"},{"key":"S095679682500005X_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0083084"},{"key":"S095679682500005X_ref49","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","article-title":"The formal theory of monads","volume":"2","author":"Street","year":"1972","journal-title":"J. Pure Appl. Algebra"},{"key":"S095679682500005X_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2012.10.018"},{"key":"S095679682500005X_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31113-0_16"},{"key":"S095679682500005X_ref10","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1145\/2775051.2676993","article-title":"Full abstraction for signal flow graphs","volume":"50","author":"Bonchi","year":"2015","journal-title":"ACM SIGPLAN Not."},{"key":"S095679682500005X_ref16","first-page":"345","article-title":"Mathematical foundations for distributed compositional models of meaning. Lambek festschrift","volume":"36","author":"Coecke","year":"2010","journal-title":"Anal."},{"key":"S095679682500005X_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30936-1_8"},{"key":"S095679682500005X_ref3","doi-asserted-by":"crossref","unstructured":"Arkor, N. & McDermott, D. (2023) The formal theory of relative monads. arXiv preprint arXiv:2302.14014.","DOI":"10.1016\/j.jpaa.2024.107676"},{"key":"S095679682500005X_ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951947"},{"key":"S095679682500005X_ref21","first-page":"381","article-title":"Adjoint functors and triples","volume":"9","author":"Eilenberg","year":"1965","journal-title":"Ill. J. Math."},{"key":"S095679682500005X_ref44","unstructured":"Marsden, D. (2014) Category Theory using String Diagrams. abs\/1401.7220. http:\/\/arxiv.org\/abs\/1401.7220."},{"key":"S095679682500005X_ref4","first-page":"219","article-title":"Making formality work for us","volume":"38","author":"Backhouse","year":"1989","journal-title":"EATCS Bull."},{"key":"S095679682500005X_ref24","unstructured":"Gasteren, van, A. J. M. (1988) On the Shape of Mathematical Arguments. Ph.D. thesis. Department of Mathematics and Computer Science."}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S095679682500005X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T22:36:22Z","timestamp":1779834982000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S095679682500005X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":51,"alternative-id":["S095679682500005X"],"URL":"https:\/\/doi.org\/10.1017\/s095679682500005x","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"\u00a9 The Author(s), 2025. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}],"article-number":"e11"}}