{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T17:57:17Z","timestamp":1761933437914,"version":"build-2065373602"},"reference-count":29,"publisher":"Association for Computing Machinery (ACM)","issue":"3-5","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2002,7]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>This is a largely tutorial paper about the categorical notion of monad and the ways in which monads on different categories correspond to variations on the standard notion of algebraic theory.<\/jats:p>","DOI":"10.1007\/s001650200014","type":"journal-article","created":{"date-parts":[[2003,12,10]],"date-time":"2003-12-10T21:38:13Z","timestamp":1071092293000},"page":"308-326","source":"Crossref","is-referenced-by-count":30,"title":["Variations on Algebra: Monadicity and Generalisations of Equational Therories"],"prefix":"10.1145","volume":"13","author":[{"given":"Edmund","family":"Robinson","sequence":"first","affiliation":[{"name":"Queen Mary, University of London, London, UK, GB"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"volume-title":"Category Theory for Computer Science","year":"1990","author":"Barr M.","key":"p_1"},{"key":"p_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-4049(89)90160-6","article-title":"Two-dimensional monad theory","volume":"59","author":"Blackwell R.","year":"1989","journal-title":"Journal of Pure and Applied Algebra"},{"volume-title":"Alg\u00e8bres graphiques. Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle, 23:249-265","year":"1981","author":"Burroni A.","key":"p_3"},{"volume-title":"24th Symposium on Principles of Programming Languages. ACM Press","year":"1997","author":"Chen C.-P.","key":"p_4"},{"key":"p_5","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1016\/0021-8693(83)90197-7","article-title":"A presentation of topoi as algebraic relative to categories or graphs","volume":"81","author":"Dubuc E. J.","year":"1983","journal-title":"Journal of Algebra"},{"key":"p_6","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0059396","volume-title":"Lokal Pr\u00e4sentierbare Kategorien","author":"Gabriel P.","year":"1971"},{"volume-title":": Functional Programming and Input\/Output. Distinguished Dissertations in Computer Science","year":"1994","author":"Gordon A. D.","key":"p_7"},{"key":"p_8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/S0022-4049(97)00070-4","article-title":"Enrichment through variation","volume":"120","author":"Gordon R.","year":"1997","journal-title":"Journal of Pure and Applied Algebra"},{"key":"p_9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0022-4049(97)00094-7","article-title":"Algebraic structure for bicategory enriched categories","volume":"130","author":"Gordon R.","year":"1998","journal-title":"Journal of Pure and Applied Algebra"},{"key":"p_10","series-title":"Cambridge studies in advanced mathematics","volume-title":": Stone Spaces","author":"Johnstone P. T.","year":"1982"},{"volume-title":"20th Symposium on Principles of Programming Languages","year":"1993","author":"Jones S. P.","key":"p_11"},{"key":"p_12","series-title":"London Mathematical Society Lecture Note Series","volume-title":": Basic Concepts of Enriched Category Theory","author":"Kelly G. M.","year":"1982"},{"key":"p_13","first-page":"3","article-title":"Structures defined by finite limits in the enriched context","volume":"23","author":"Kelly G. M.","year":"1982","journal-title":"I. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle"},{"key":"p_14","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0022-4049(93)90092-8","article-title":"Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads","volume":"89","author":"Kelly G. M.","year":"1993","journal-title":"Journal of Pure and Applied Algebra"},{"key":"p_15","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0022-4049(98)00114-5","volume":"143","author":"Kinoshita Y.","year":"1999","journal-title":"Journal of Pure and Applied Algebra"},{"volume-title":": Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano, 43:135-166","year":"1973","author":"Lawvere F. W.","key":"p_16"},{"volume-title":"European Symposium on Programming","year":"1996","author":"Liang S.","key":"p_17"},{"volume-title":"22nd Symposium on Principles of Programming Languages. ACM Press","year":"1995","author":"Liang S.","key":"p_18"},{"key":"p_19","series-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Introduction to Higher Order Categorical Logic","author":"Lambek J.","year":"1986"},{"key":"p_20","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-642-99902-4_3","volume-title":"Proceedings of the Conference on Categorical Algebra, La Jolla, 1965","author":"Linton F. E. J.","year":"1966"},{"issue":"1","key":"p_21","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","article-title":"Notions of computation and monads","volume":"93","author":"Moggi E.","year":"1991","journal-title":"Information and Computation"},{"key":"p_22","first-page":"390","volume-title":"5th International Conference, Tulane, March\/April 1989","author":"Power A. J.","year":"1990"},{"key":"p_23","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1006\/inco.1995.1112","article-title":"Why tricategories?","volume":"120","author":"Power A. J.","year":"1995","journal-title":"Information and Computation"},{"volume-title":"Theoretical Computer Science","year":"2000","author":"Power J.","key":"p_24"},{"key":"p_25","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1017\/S0960129597002375","article-title":"Premonoidal categories and notions of computation","volume":"7","author":"Power J.","year":"1997","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"p_26","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0304-3975(94)00126-4","article-title":"Parametricity as isomorphism","volume":"136","author":"Robinson E.","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"p_27","series-title":"LNCS","volume-title":"Advanced Functional Programming","author":"Wadler P.","year":"1995"},{"issue":"3","key":"p_28","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1145\/262009.262011","article-title":"How to declare an imperative","volume":"29","author":"Wadler P.","year":"1997","journal-title":"ACM Computing Surveys"},{"volume-title":"International Conference on Functional Programming","year":"1998","author":"Wadler P.","key":"p_29"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650200014.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650200014\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650200014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:41:19Z","timestamp":1641483679000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650200014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":29,"journal-issue":{"issue":"3-5","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["10.1007\/s001650200014"],"URL":"https:\/\/doi.org\/10.1007\/s001650200014","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"type":"print","value":"0934-5043"},{"type":"electronic","value":"1433-299X"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}