{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T13:06:02Z","timestamp":1769691962676,"version":"3.49.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s10485-011-9246-3","type":"journal-article","created":{"date-parts":[[2011,2,21]],"date-time":"2011-02-21T03:02:21Z","timestamp":1298257341000},"page":"393-414","source":"Crossref","is-referenced-by-count":20,"title":["Noncommutativity as a Colimit"],"prefix":"10.1007","volume":"20","author":[{"given":"Benno","family":"van den Berg","sequence":"first","affiliation":[]},{"given":"Chris","family":"Heunen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,2,22]]},"reference":[{"key":"9246_CR1","unstructured":"Berberian, S.K.: Baer rings and Baer *-rings. Online book (2003). Available at http:\/\/www.ma.utexas.edu\/mp_arc\/c\/03\/03-181.pdf"},{"issue":"3","key":"9246_CR2","doi-asserted-by":"crossref","first-page":"536","DOI":"10.2307\/1970940","volume":"101","author":"A Connes","year":"1975","unstructured":"Connes, A.: A factor not anti-isomorphic to itself. Ann. Math. 101(3), 536\u2013554 (1975)","journal-title":"Ann. Math."},{"issue":"2","key":"9246_CR3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1017\/S0305004109002539","volume":"147","author":"T Coquand","year":"2009","unstructured":"Coquand, T., Spitters, B.: Constructive Gelfand duality for C*-algebras. Math. Proc. Camb. Philos. Soc. 147(2), 323\u2013337 (2009)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"issue":"2","key":"9246_CR4","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s10773-005-1490-6","volume":"44","author":"A D\u00f6ring","year":"2005","unstructured":"D\u00f6ring, A.: Kochen\u2013Specker theorem for Von Neumann algebras. Int. J. Theor. Phys. 44(2), 139\u2013160 (2005)","journal-title":"Int. J. Theor. Phys."},{"key":"9246_CR5","doi-asserted-by":"crossref","unstructured":"D\u00f6ring, A., Isham, C.J.: What is a thing?: topos theory in the foundations of physics. In: New Structures for Physics. Lecture Notes in Physics, vol.\u00a0813, pp. 753\u2013937. Springer (2010)","DOI":"10.1007\/978-3-642-12821-9_13"},{"key":"9246_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.2307\/2039041","volume":"36","author":"G Gr\u00e4tzer","year":"1972","unstructured":"Gr\u00e4tzer, G., Koh, K.M., Makkai, M.: On the lattice of subalgebras of a Boolean algebra. Proc. Am. Math. Soc. 36, 87\u201392 (1972)","journal-title":"Proc. Am. Math. Soc."},{"key":"9246_CR7","doi-asserted-by":"crossref","unstructured":"Grothendieck, A.: Le langage des sch\u00e9mas. In: \u00c9l\u00e9ments de G\u00e9om\u00e9trie Alg\u00e9brique, vol.\u00a04, pp.\u00a05\u2013228. Publications Math\u00e9matiques de l\u2019IH\u00c9S (1960)","DOI":"10.1007\/BF02684778"},{"key":"9246_CR8","first-page":"41","volume":"90","author":"A Guichardet","year":"1966","unstructured":"Guichardet, A.: Sur la cat\u00e9gorie des alg\u00e8bres de Von Neumann. Bull. Sciences Math., 2e S\u00e9rie 90, 41\u201364 (1966)","journal-title":"Bull. Sciences Math., 2e S\u00e9rie"},{"key":"9246_CR9","volume-title":"Deep Beauty\u2013Understanding the Quantum World Through Mathematical Innovation","author":"C Heunen","year":"2010","unstructured":"Heunen, C., Landsman, N.P., Spitters, B.: Bohrification. In: Deep Beauty\u2013Understanding the Quantum World Through Mathematical Innovation. Cambridge University Press, Cambridge, UK (2010)"},{"key":"9246_CR10","volume-title":"Cambridge Studies in Advanced Mathematics, vol.\u00a03","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone spaces. In: Cambridge Studies in Advanced Mathematics, vol.\u00a03. Cambridge University Press, Cambridge, UK (1982)"},{"key":"9246_CR11","volume-title":"Sketches of an Elephant: a Topos Theory Compendium","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: a Topos Theory Compendium. Oxford University Press, London, UK (2002)"},{"key":"9246_CR12","volume-title":"Fundamentals of the Theory of Operator Algebras","author":"RV Kadison","year":"1983","unstructured":"Kadison, R.V., Ringrose, J.R.: Fundamentals of the Theory of Operator Algebras. Academic, New York (1983)"},{"key":"9246_CR13","volume-title":"Orthomodular Lattices","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach, G.: Orthomodular Lattices. Academic, New York (1983)"},{"key":"9246_CR14","first-page":"59","volume":"17","author":"S Kochen","year":"1967","unstructured":"Kochen, S., Specker, E.: The problem of hidden variables in quantum mechanics. J. Math. Mech. 17, 59\u201387 (1967)","journal-title":"J. Math. Mech."},{"key":"9246_CR15","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"9246_CR16","first-page":"283","volume":"262","author":"D Rainjonneau","year":"1966","unstructured":"Rainjonneau, D.: Existence des sommes dans certaines cat\u00e9gories d\u2019alg\u00e8bres. C. R. Acad. Sc. Paris, S\u00e9rie A 262, 283\u2013285 (1966)","journal-title":"C. R. Acad. Sc. Paris, S\u00e9rie A"},{"key":"9246_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9026-6","volume-title":"Quantum Logic in Algebraic Approach","author":"M R\u00e9dei","year":"1998","unstructured":"R\u00e9dei, M.: Quantum Logic in Algebraic Approach. Kluwer, Norwell (1998)"}],"updated-by":[{"DOI":"10.1007\/s10485-012-9298-z","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2012,12,5]],"date-time":"2012-12-05T00:00:00Z","timestamp":1354665600000}}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-011-9246-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T13:50:34Z","timestamp":1560001834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-011-9246-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,22]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9246"],"URL":"https:\/\/doi.org\/10.1007\/s10485-011-9246-3","relation":{"correction":[{"id-type":"doi","id":"10.1007\/s10485-012-9298-z","asserted-by":"object"}]},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,22]]}}}