{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:51:00Z","timestamp":1725724260736},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642381638"},{"type":"electronic","value":"9783642381645"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38164-5_8","type":"book-chapter","created":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T17:59:00Z","timestamp":1367344740000},"page":"107-121","source":"Crossref","is-referenced-by-count":10,"title":["On the Functor \u21132"],"prefix":"10.1007","author":[{"given":"Chris","family":"Heunen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-61604-7_44","volume-title":"CONCUR \u201996: Concurrency Theory","author":"S. Abramsky","year":"1996","unstructured":"Abramsky, S.: Retracing some paths in process algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 1\u201317. Springer, Heidelberg (1996)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0022-4049(98)00106-6","volume":"143","author":"S. Abramsky","year":"1999","unstructured":"Abramsky, S., Blute, R., Panangaden, P.: Nuclear and trace ideals in tensored *-categories. Journal of Pure and Applied Algebra\u00a0143, 3\u201347 (1999)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Heunen, C.: H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics. In: Abramsky, S., Mislove, M. (eds.) Clifford Lectures. Proceedings of Symposia in Applied Mathematics, vol.\u00a071, pp. 1\u201324. American Mathematical Society (2012)","DOI":"10.1090\/psapm\/071\/599"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Handbook of Logic in Computer Science, vol.\u00a03, pp. 1\u2013168. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198537625.003.0001"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Rosicky, J.: Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series, vol.\u00a0189. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511600579"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0022-4049(92)90169-G","volume":"82","author":"M. Barr","year":"1992","unstructured":"Barr, M.: Algebraically compact functors. Journal of Pure and Applied Algebra\u00a082, 211\u2013231 (1992)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"2-3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0022-4049(77)90067-6","volume":"9","author":"A.K. Bousfield","year":"1977","unstructured":"Bousfield, A.K.: Constructions of factorization systems in categories. Journal of Pure and Applied Algebra\u00a09(2-3), 207\u2013220 (1977)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"1-2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0304-3975(00)00382-0","volume":"270","author":"J. Robin","year":"2002","unstructured":"Robin, J., Cockett, B., Lack, S.: Restriction categories I: categories of partial maps. Theoretical Computer Science\u00a0270(1-2), 223\u2013259 (2002)","journal-title":"Theoretical Computer Science"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Danos, V., Regnier, L.: Proof-nets and the Hilbert space. In: Advances in Linear Logic, pp. 307\u2013328. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511629150.016"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Freyd, P., Kelly, M.: Categories of continuous functors I. Journal of Pure and Applied Algebra 2 (1972)","DOI":"10.1016\/0022-4049(72)90001-1"},{"key":"8_CR11","first-page":"397","volume":"42","author":"M. Grandis","year":"2006","unstructured":"Grandis, M., Tholen, W.: Natural weak factorization systems. Archivum Mathematicum\u00a042, 397\u2013408 (2006)","journal-title":"Archivum Mathematicum"},{"key":"8_CR12","unstructured":"Haghverdi, E.: A categorical approach to linear logic, geometry of proofs and full completeness. PhD thesis, University of Ottawa (2000)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1016\/j.tcs.2005.10.028","volume":"350","author":"E. Haghverdi","year":"2006","unstructured":"Haghverdi, E., Scott, P.: A categorical model for the geometry of interaction. Theoretical Computer Science\u00a0350, 252\u2013274 (2006)","journal-title":"Theoretical Computer Science"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Halmos, P.: A Hilbert space problem book, 2nd edn. Springer (1982)","DOI":"10.1007\/978-1-4684-9330-6"},{"issue":"13","key":"8_CR15","first-page":"321","volume":"22","author":"C. Heunen","year":"2009","unstructured":"Heunen, C.: An embedding theorem for Hilbert categories. Theory and Applications of Categories\u00a022(13), 321\u2013344 (2009)","journal-title":"Theory and Applications of Categories"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s11083-010-9145-5","volume":"27","author":"C. Heunen","year":"2010","unstructured":"Heunen, C., Jacobs, B.: Quantum logic in dagger kernel categories. Order\u00a027(2), 177\u2013212 (2010)","journal-title":"Order"},{"key":"8_CR17","unstructured":"Hines, P.: The algebra of self-similarity and its applications. PhD thesis, University of Wales (1997)"},{"issue":"11-13","key":"8_CR18","doi-asserted-by":"publisher","first-page":"1501","DOI":"10.1016\/j.tcs.2009.11.017","volume":"411","author":"P. Hines","year":"2010","unstructured":"Hines, P.: Quantum circuit oracles for abstract machine computations. Theoretical Computer Science\u00a0411(11-13), 1501\u20131520 (2010)","journal-title":"Theoretical Computer Science"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Hines, P., Braunstein, S.L.: The structure of partial isometries. In: Semantic Techniques in Quantum Computation, pp. 361\u2013389. Cambridge University Press (2009)","DOI":"10.1017\/CBO9781139193313.010"},{"key":"8_CR20","unstructured":"Kadison, R.V., Ringrose, J.R.: Fundamentals of the theory of operator algebras. Academic Press (1983)"},{"issue":"1","key":"8_CR21","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0022-4049(93)90171-O","volume":"85","author":"M. Korostenski","year":"1993","unstructured":"Korostenski, M., Tholen, W.: Factorization systems as Eilenberg-Moore algebras. Journal of Pure and Applied Algebra\u00a085(1), 57\u201372 (1993)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Lawson, M.V.: Inverse semigroups: the theory of partial symmetries. World Scientific (1998)","DOI":"10.1142\/3645"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Springer (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"8_CR24","unstructured":"Reed, M., Simon, B.: Methods of Modern Mathematical Physics. Functional Analysis, vol.\u00a0I. Academic Press (1972)"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/S0022-4049(02)00141-X","volume":"175","author":"J. Rosicky","year":"2002","unstructured":"Rosicky, J., Tholen, W.: Lax factorization algebras. Journal of Pure and Applied Algebra\u00a0175, 355\u2013382 (2002)","journal-title":"Journal of Pure and Applied Algebra"}],"container-title":["Lecture Notes in Computer Science","Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38164-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T21:22:32Z","timestamp":1715289752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38164-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642381638","9783642381645"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38164-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}