{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T06:18:28Z","timestamp":1784873908774,"version":"3.55.0"},"reference-count":17,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4095,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,5]]},"DOI":"10.1016\/s0304-3975(01)00023-8","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:07:16Z","timestamp":1027652836000},"page":"123-135","source":"Crossref","is-referenced-by-count":4,"title":["Coalgebra morphisms subsume open maps"],"prefix":"10.1016","volume":"280","author":[{"given":"S\u0142awomir","family":"Lasota","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(01)00023-8_BIB1","series-title":"Locally Presentable and Accessible Categories","volume":"Vol. 189","author":"Adamek","year":"1994"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB2","unstructured":"G.L. Cattani, G. Winskel, Presheaf Models for Concurrency, Computer Science Logic CSL \u201996, Lecture Notes in Computer Science, Vol. 1258, Springer, Berlin, Preliminary version appeared as BRICS Report RS-96-35."},{"key":"10.1016\/S0304-3975(01)00023-8_BIB3","doi-asserted-by":"crossref","unstructured":"A. Cheng, M. Nielsen, Open maps (at) work, Research series RS-95-23, BRICS, Department of Computer Science, University of Aarhus, 1995.","DOI":"10.7146\/brics.v2i23.19925"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB4","doi-asserted-by":"crossref","unstructured":"A. Corradini, M. Grosse-Rhode, R. Heckel, Structured transition systems as lax coalgebras, Proc. First Workshop on Coalgebraic Methods in Computer Science, Lisbon, Electronic Notes in Theoretical Computer Science, Vol. 11, 1998.","DOI":"10.1016\/S1571-0661(04)00051-9"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB5","series-title":"Object-Orientation with Parallelism and Persistence","first-page":"83","article-title":"Objects and classes, coalgebraically","author":"Jacobs","year":"1996"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB6","unstructured":"B. Jacobs, Automata and behaviours in categories of processes, CWI Report CS-R9607, 1996."},{"key":"10.1016\/S0304-3975(01)00023-8_BIB7","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0168-0072(94)90069-8","article-title":"A completeness theorem for open maps","volume":"70","author":"Joyal","year":"1994","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB8","doi-asserted-by":"crossref","unstructured":"A. Joyal, G. Nielsen, Winskel, Bisimulation and open maps, Proceedings Eighth Annual Symposium on Logic in Computer Science LICS\u201993, 1993, pp. 418\u2013427.","DOI":"10.1109\/LICS.1993.287566"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB9","unstructured":"S. Lasota, Open maps as a bridge between algebraic observational equivalence and bisimilarity, Proceedings of 12th Workshop on Algebraic Development Techniques, Tarquinia, 1997, Lecture Notes in Computer Science, Vol. 1376, Springer, Berlin, pp. 285\u2013299."},{"key":"10.1016\/S0304-3975(01)00023-8_BIB10","doi-asserted-by":"crossref","unstructured":"S. Lasota, Coalgebra morphisms subsume open maps, Proc. Second Workshop on Coalgebraic Methods in Computer Science CMCS \u201999, Amsterdam, Electronic Notes in Theoretical Computer Science, Vol. 19, 1999.","DOI":"10.1016\/S1571-0661(05)80266-X"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB11","doi-asserted-by":"crossref","unstructured":"F.W. Lawvere, Functorial semantics of algebraic theories, Proc. National Academy of Sciences USA, Vol. 52, 1963, pp. 869\u2013873.","DOI":"10.1073\/pnas.50.5.869"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB12","series-title":"Sheaves in Geometry and Logic","author":"MacLane","year":"1994"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB13","unstructured":"R. Milner, in: C.A.R. Hoare (Series Ed.), Communication and concurrency, Prentice-Hall International Series in Computer Science, Englewood Cliffs, NJ, 1989."},{"key":"10.1016\/S0304-3975(01)00023-8_BIB14","series-title":"Concurrency and automata on infinite sequences, Proc. Fifth G.I. Conference","volume":"Vol. 104","author":"Park","year":"1981"},{"key":"10.1016\/S0304-3975(01)00023-8_BIB15","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S0960129500000694","article-title":"An approach to object semantics based on terminal co-algebras","volume":"5","author":"Reichel","year":"1995","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00023-8_BIB16","unstructured":"J.J.M.M. Rutten, Universal coalgebra: a theory of systems, CWI Report CS-R9652, 1996."},{"key":"10.1016\/S0304-3975(01)00023-8_BIB17","doi-asserted-by":"crossref","unstructured":"G. Winskel, Event structures as presheaves \u2013 two representation theorems, BRICS Report RS-99-7, 1999.","DOI":"10.7146\/brics.v6i7.20064"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000238?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000238?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T19:20:13Z","timestamp":1733512813000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501000238"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":17,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["S0304397501000238"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00023-8","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}