{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T05:03:34Z","timestamp":1777352614509,"version":"3.51.4"},"reference-count":40,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"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":4429,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s0304-3975(00)00124-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T07:05:41Z","timestamp":1027580741000},"page":"87-117","source":"Crossref","is-referenced-by-count":31,"title":["On the structure of categories of coalgebras"],"prefix":"10.1016","volume":"260","author":[{"given":"Peter","family":"Johnstone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Power","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toru","family":"Tsujishita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(00)00124-9_BIB1","volume":"vol. 14","author":"Aczel","year":"1988"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB2","first-page":"357","article-title":"A final coalgebra theorem","volume":"vol. 389","author":"Aczel","year":"1989"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB3","first-page":"1","article-title":"Exact categories","volume":"vol. 236","author":"Barr","year":"1971"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB4","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","article-title":"Terminal coalgebras in well-founded set theory","volume":"114","author":"Barr","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB5","series-title":"Type theory via exact categories, Proc. 13th IEEE Symp. on Logic in Computer Science","author":"Birkedal","year":"1998"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB6","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1017\/S0960129500001183","article-title":"Connected limits, familial representability and Artin glueing","volume":"5","author":"Carboni","year":"1995","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB7","first-page":"47","article-title":"A 2-categorical approach to change of base and geometric morphisms I","volume":"32","author":"Carboni","year":"1991","journal-title":"Cahiers Topologie G\u00e9om. Differentiable Cat\u00e9goriques"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB8","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1017\/S1446788700018735","article-title":"The free exact category on a left exact one","volume":"33","author":"Carboni","year":"1982","journal-title":"J. Austral. Math. Soc., Series A"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0022-4049(96)00115-6","article-title":"Regular and exact completions","volume":"125","author":"Carboni","year":"1998","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB10","first-page":"460","volume":"vol. 1256","author":"De Vink","year":"1997"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB11","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0022-4049(87)90124-1","article-title":"Exponentiable morphisms, partial products and pullback complements","volume":"49","author":"Dyckhoff","year":"1987","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB12","unstructured":"P. Freyd, A. Scedrov, Categories, Allegories, North-Holland Mathematical Library, vol. 39, Elsevier, 1990."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB13","first-page":"131","article-title":"First steps in synthetic domain theory","volume":"vol. 1488","author":"Hyland","year":"1991"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB14","volume":"vol. 10","author":"Johnstone","year":"1977"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB15","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0305004100055043","article-title":"Finiteness and decidability","volume":"84","author":"Johnstone","year":"1978","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB16","series-title":"An axiomatics for categories of transition systems as coalgebras, in Proc. 13th IEEE Symp. on Logic in Computer Science","author":"Johnstone","year":"1998"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB17","first-page":"141","article-title":"Algebraic theories in toposes","volume":"vol. 661","author":"Johnstone","year":"1978"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB18","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1006\/inco.1996.0057","article-title":"Bisimulation and open maps","volume":"127","author":"Joyal","year":"1996","journal-title":"Inform and Comput."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700006353","article-title":"A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on","volume":"22","author":"Kelly","year":"1980","journal-title":"Bull. Austral. Math. Soc."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB20","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S0004972700002781","article-title":"Elementary observations on 2-categorical limits","volume":"39","author":"Kelly","year":"1989","journal-title":"Bull. Austral. Math. Soc."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB21","unstructured":"A. Kock, G.C. Wraith, Elementary Toposes, Aarhus Universitet Lecture Notes Series, vol. 30, 1971."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB22","doi-asserted-by":"crossref","first-page":"337","DOI":"10.4153\/CMB-1970-065-6","article-title":"Subequalizers","volume":"13","author":"Lambek","year":"1970","journal-title":"Canad. Math. Bull."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB23","first-page":"75","article-title":"Coequalizers in categories of algebras","volume":"vol. 80","author":"Linton","year":"1969"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB24","volume":"vol. 5","author":"Mac Lane","year":"1971"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB25","series-title":"Sheaves in Geometry and Logic","author":"Mac Lane","year":"1992"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB26","volume":"vol. 21","author":"McLarty","year":"1992"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB27","volume":"vol. 104","author":"Makkai","year":"1989"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB28","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(04)00057-X","article-title":"An axiomatics for categories of coalgebras","volume":"11","author":"Power","year":"1998","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB29","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(00)00124-9_BIB30","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0022-4049(91)90106-C","article-title":"Pullback preserving functors","volume":"73","author":"Rosebrugh","year":"1991","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB31","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0022-4049(98)00146-7","article-title":"Cartesian closed exact completions","volume":"142","author":"Rosick\u00fd","year":"1999","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB32","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(04)00063-5","article-title":"Relators and metric bisimulations","volume":"11","author":"Rutten","year":"1998","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB34","first-page":"477","article-title":"On the foundations of final semantics","volume":"vol. 666","author":"Rutten","year":"1993"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB35","unstructured":"T. Tsujishita, H. Watanabe, Monoidal closedness of the category of simulations, Hokkaido Univ. Preprint Series in Mathematics, vol. 392, 1997."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB36","doi-asserted-by":"crossref","first-page":"117","DOI":"10.14492\/hokmj\/1351001081","article-title":"A criterion for the existence of subobject classifiers","volume":"28","author":"Watanabe","year":"1999","journal-title":"Hokkaido Math. J."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB37","doi-asserted-by":"crossref","first-page":"301","DOI":"10.14492\/hokmj\/1351001215","article-title":"The subobject classifier of the category of functional bisimulations","volume":"28","author":"Watanabe","year":"1999","journal-title":"Hokkaido Math. J."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB38","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(04)00060-X","article-title":"Toposes of coalgebras and hidden algebras","volume":"11","author":"Worrell","year":"1998","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00124-9_BIB39","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/0022-4049(74)90014-0","article-title":"Artin glueing","volume":"4","author":"Wraith","year":"1974","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(00)00124-9_BIB40","series-title":"Lecture Notes on Topoi and Quasitopoi","author":"Wyler","year":"1991"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500001249?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500001249?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T02:51:03Z","timestamp":1556765463000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397500001249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":40,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["S0304397500001249"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(00)00124-9","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}