{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T02:28:13Z","timestamp":1784255293488,"version":"3.55.0"},"reference-count":36,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,3,19]],"date-time":"2014-03-19T00:00:00Z","timestamp":1395187200000},"content-version":"vor","delay-in-days":18,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1016\/j.entcs.2014.02.010","type":"journal-article","created":{"date-parts":[[2014,3,22]],"date-time":"2014-03-22T00:27:32Z","timestamp":1395448052000},"page":"197-206","source":"Crossref","is-referenced-by-count":10,"special_numbering":"C","title":["Freyd categories are Enriched Lawvere Theories"],"prefix":"10.1016","volume":"303","author":[{"given":"Sam","family":"Staton","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2014.02.010_br0010","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0022-4049(02)00126-3","article-title":"A classification of accessible categories","volume":"175","author":"Ad\u00e1mek","year":"2002","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.entcs.2014.02.010_br0020","series-title":"Locally presentable and accessible categories","author":"Ad\u00e1mek","year":"1994"},{"key":"10.1016\/j.entcs.2014.02.010_br0030","first-page":"33","article-title":"On sifted colimits and generalized varieties","volume":"8","author":"Ad\u00e1mek","year":"2001","journal-title":"Theory Appl. Categ."},{"key":"10.1016\/j.entcs.2014.02.010_br0040","series-title":"Proc. FOSSACS 2010","first-page":"297","article-title":"Monads need not be endofunctors","volume":"vol. 6014","author":"Altenkirch","year":"2010"},{"key":"10.1016\/j.entcs.2014.02.010_br0050","series-title":"Proc. MSFP 2010","first-page":"33","article-title":"Arrows are strong monads","author":"Asada","year":"2010"},{"key":"10.1016\/j.entcs.2014.02.010_br0060","series-title":"Proc. MSFP 2008","first-page":"19","article-title":"What is a categorical model of arrows?","volume":"vol. 229","author":"Atkey","year":"2011"},{"key":"10.1016\/j.entcs.2014.02.010_br0070","doi-asserted-by":"crossref","first-page":"2029","DOI":"10.1016\/j.jpaa.2012.02.039","article-title":"Monads with arities and their associated theories","volume":"216","author":"Berger","year":"2012","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.entcs.2014.02.010_br0080","series-title":"Reports of the Midwest Category Seminar, IV","first-page":"1","article-title":"On closed categories of functors","volume":"vol. 137","author":"Day","year":"1970"},{"key":"10.1016\/j.entcs.2014.02.010_br0090","series-title":"Proc. LICS 2008","first-page":"57","article-title":"Second-order and dependently-sorted abstract syntax","author":"Fiore","year":"2008"},{"key":"10.1016\/j.entcs.2014.02.010_br0100","series-title":"Categorical Equational Systems: Algebraic Models and Equational Reasoning","author":"Hur","year":"2009"},{"key":"10.1016\/j.entcs.2014.02.010_br0110","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0022-4049(86)90005-8","article-title":"A universal property of the convolution monoidal structure","volume":"43","author":"Im","year":"1986","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.entcs.2014.02.010_br0120","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1017\/S0956796809007308","article-title":"Categorical semantics for arrows","volume":"19","author":"Jacobs","year":"2009","journal-title":"J. Funct. Program."},{"key":"10.1016\/j.entcs.2014.02.010_br0130","first-page":"61","article-title":"A note on actions of a monoidal category","volume":"9","author":"Janelidze","year":"2001","journal-title":"Theory Appl. Categ."},{"key":"10.1016\/j.entcs.2014.02.010_br0140","series-title":"Basic concepts of enriched category theory","author":"Kelly","year":"1982"},{"key":"10.1016\/j.entcs.2014.02.010_br0150","first-page":"3","article-title":"Structures defined by finite limits in the enriched context, I","volume":"23","author":"Kelly","year":"1982","journal-title":"Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle cat\u00e9goriques"},{"key":"10.1016\/j.entcs.2014.02.010_br0160","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/s10485-009-9215-2","article-title":"Notions of Lawvere theory","volume":"19","author":"Lack","year":"2011","journal-title":"Applied Categorical Structures"},{"key":"10.1016\/j.entcs.2014.02.010_br0170","article-title":"Functorial Semantics of Algebraic Theories","volume":"vol. 5","author":"Lawvere","year":"1963"},{"key":"10.1016\/j.entcs.2014.02.010_br0180","article-title":"Call-by-Push-Value. A Functional\/Imperative Synthesis","volume":"vol. 2","author":"Levy","year":"2004"},{"key":"10.1016\/j.entcs.2014.02.010_br0190","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/S0890-5401(03)00088-9","article-title":"Modelling environments in call-by-value programming languages","volume":"185","author":"Levy","year":"2003","journal-title":"Information and Computation"},{"key":"10.1016\/j.entcs.2014.02.010_br0200","series-title":"Proc. LICS 2010","first-page":"150","article-title":"Segal condition meets computational effects","author":"Melli\u00e8s","year":"2010"},{"key":"10.1016\/j.entcs.2014.02.010_br0210","author":"Melli\u00e8s"},{"key":"10.1016\/j.entcs.2014.02.010_br0220","author":"Melli\u00e8s"},{"key":"10.1016\/j.entcs.2014.02.010_br0230","series-title":"Proc. CALCO 2011","first-page":"298","article-title":"Linearly-used state in models of call-by-value","author":"M\u00f8gelberg","year":"2011"},{"key":"10.1016\/j.entcs.2014.02.010_br0240","series-title":"Proc. LICS'89","first-page":"14","article-title":"Computational lambda-calculus and monads","author":"Moggi","year":"1989"},{"key":"10.1016\/j.entcs.2014.02.010_br0250","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","year":"1991","journal-title":"Information and Computation"},{"key":"10.1016\/j.entcs.2014.02.010_br0260","series-title":"Algebra, meaning and computation","article-title":"Some varieties of equational logic","author":"Plotkin","year":"2006"},{"key":"10.1016\/j.entcs.2014.02.010_br0270","series-title":"Proc. ESOP 2009","first-page":"80","article-title":"Handlers of algebraic effects","author":"Plotkin","year":"2009"},{"key":"10.1016\/j.entcs.2014.02.010_br0280","series-title":"Proc. Domains VI","first-page":"140","article-title":"Computational effects and operations: An overview","volume":"vol. 73","author":"Plotkin","year":"2004"},{"key":"10.1016\/j.entcs.2014.02.010_br0290","series-title":"Proc. FOSSACS 2002","first-page":"342","article-title":"Notions of computation determine monads","author":"Plotkin","year":"2002"},{"key":"10.1016\/j.entcs.2014.02.010_br0300","first-page":"89","article-title":"Enriched Lawvere theories","author":"Power","year":"1999","journal-title":"Theory Appl. Categ."},{"key":"10.1016\/j.entcs.2014.02.010_br0310","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/j.tcs.2006.08.006","article-title":"Generic models for computational effects","volume":"364","author":"Power","year":"2006","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.entcs.2014.02.010_br0320","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1017\/S0960129597002375","article-title":"Premonoidal categories and notions of computation","volume":"7","author":"Power","year":"1997","journal-title":"Math. Struct. in Comput. Sci."},{"key":"10.1016\/j.entcs.2014.02.010_br0330","series-title":"Proc. ICALP'99","first-page":"625","article-title":"Closed Freyd- and \u03ba-categories","volume":"vol. 1644","author":"Power","year":"1999"},{"key":"10.1016\/j.entcs.2014.02.010_br0340","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/s001650200014","article-title":"Variations on algebra: Monadicity and generalisations of equational theories","volume":"13","author":"Robinson","year":"2002","journal-title":"Formal Asp. Comput."},{"key":"10.1016\/j.entcs.2014.02.010_br0350","series-title":"Proc. FOSSACS 2013","first-page":"401","article-title":"An algebraic presentation of predicate logic","author":"Staton","year":"2013"},{"key":"10.1016\/j.entcs.2014.02.010_br0360","series-title":"Proc. LICS 2013","first-page":"519","article-title":"Instances of computational effects: An algebraic perspective","author":"Staton","year":"2013"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S157106611400036X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S157106611400036X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,5]],"date-time":"2018-10-05T22:25:56Z","timestamp":1538778356000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S157106611400036X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":36,"alternative-id":["S157106611400036X"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.entcs.2014.02.010","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}