{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T19:17:39Z","timestamp":1648754259246},"reference-count":18,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4472,"URL":"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":[[2001,5]]},"DOI":"10.1016\/s1571-0661(04)80910-1","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"227-240","source":"Crossref","is-referenced-by-count":1,"title":["Two-dimensional linear algebra"],"prefix":"10.1016","volume":"44","author":[{"given":"Martin","family":"Hyland","sequence":"first","affiliation":[]},{"given":"John","family":"Power","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Barr M., and C. Wells, \u201cToposes, Triples, and Theories,\u201d Grundlehren der math. Wissenschaften 278 (1985).","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB2","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","year":"1989","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB3","unstructured":"Carmody, S.M., \u201cCobordism Categories,\u201d Ph.D. dissertation, Cambridge, 1996."},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","article-title":"Cartesian bicategories I","volume":"49","author":"Carboni","year":"1987","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB5","first-page":"214","article-title":"A theory of recursive domains with application to concurrency","volume":"98","author":"Cattani","year":"1998","journal-title":"Proc. LICS"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB6","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01622878","article-title":"The Structure of Multiplicatives","volume":"28","author":"Danos","year":"1989","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB7","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF01451367","article-title":"Group-like structures in general categories I: multiplications and comultiplications","volume":"145","author":"Eckmann","year":"1962","journal-title":"Math. Annalen"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Eilenberg S., and G.M. Kelly, Closed categories, \u201cProc. Conference on Categorical Algebra (La Jolla 1965)\u201d, Springer-Verlag, 1966.","DOI":"10.1007\/978-3-642-99902-4_22"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB9","first-page":"268","article-title":"Cuboidal sets in axiomatic domain theory","volume":"97","author":"Fiore","year":"1997","journal-title":"Proc. LICS"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB10","series-title":"\u201cGraphical presentations of interactive systems,\u201d","author":"Gardner","year":"1998"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB11","article-title":"\u201cCoherence for tricategories,\u201d","volume":"558","author":"Gordon","year":"1995","journal-title":"Mem. Amer. Math. Soc"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB12","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1145\/351268.351299","article-title":"Symmetric Monoidal Sketches","volume":"00","author":"Hyland","year":"2000","journal-title":"Proc. PPDP"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Hyland, J.M.E., and A.J. Power, Pseudo-commutative monads and pseudo-closed 2-categories, J. Pure Appl. Algebra (to appear).","DOI":"10.1016\/S0022-4049(02)00133-0"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB14","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BFb0063106","article-title":"Coherence theorems for lax algebras and for distributive laws","volume":"420","author":"Kelly","year":"1974","journal-title":"Lecture Notes in Mathematics"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB15","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BFb0063101","article-title":"Review of the elements of 2-categories","volume":"420","author":"Kelly","year":"1974","journal-title":"Lecture Notes in Mathematics"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB16","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1017\/S1446788700010272","article-title":"Closed categories generated by commutative monads","volume":"12","author":"Kock","year":"1971","journal-title":"J. Austral. Math. Soc"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB17","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1007\/s002360050067","article-title":"Calculi for interaction","volume":"33","author":"Milner","year":"1996","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(04)80910-1_NEWBIB18","doi-asserted-by":"crossref","unstructured":"O'Hearn, P.W., and D.J. Pym, The logic of Bunched Implications, Bull. Symbolic Logic (to appear).","DOI":"10.2307\/421090"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809101?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809101?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:10:23Z","timestamp":1585897823000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S1571066104809101"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80910-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}