{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:04:34Z","timestamp":1786979074532,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642327834","type":"print"},{"value":"9783642327841","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32784-1_4","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T08:59:34Z","timestamp":1344848374000},"page":"51-70","source":"Crossref","is-referenced-by-count":4,"title":["On Finitary Functors and Their Presentations"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"Ad\u00e1mek","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Milius","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Handbook of Logic in Computer Science","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain Theory. In: Handbook of Logic in Computer Science. Clarendon Press, Oxford (1994)"},{"key":"4_CR2","first-page":"589","volume":"15","author":"J. Ad\u00e1mek","year":"1974","unstructured":"Ad\u00e1mek, J.: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolinae\u00a015, 589\u2013609 (1974)","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. Cambridge University Press (1993)","DOI":"10.1017\/CBO9780511600579"},{"key":"4_CR4","volume-title":"Automata and Algebras in Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Automata and Algebras in Categories. Kluwer Academic Publ., Dordrecht (1990)"},{"key":"4_CR5","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Relatively terminal coalgebras. To appear in J. Pure Appl. Algebra"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M. Barr","year":"1993","unstructured":"Barr, M.: Terminal coalgebras in well-founded set theory. Theoret. Comput. Sci.\u00a0114, 299\u2013315 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of Categorical Algebra, vol.\u00a02. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511525865"},{"key":"4_CR8","unstructured":"van Breugel, F., Hermida, C., Makkai, M., Worrell, J.: Recursively defined metric spaces without contraction"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0022-4049(93)90092-8","volume":"89","author":"G.M. Kelly","year":"1993","unstructured":"Kelly, G.M., Power, J.: Adjunctions whose counits are coequalizers and presentations of finitary enriched monads. J. Pure Appl. Algebra\u00a089, 163\u2013179 (1993)","journal-title":"J. Pure Appl. Algebra"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Functional semantics of algebraic theories. Dissertation, Columbia University (1963)","DOI":"10.1073\/pnas.50.5.869"},{"key":"4_CR11","unstructured":"Makkai, M., Par\u00e9, R.: Accessible Categories. Amer. Math. Soc., Providence, Rhode Island (1989)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1017\/S0960129510000575","volume":"21","author":"J. Velebil","year":"2011","unstructured":"Velebil, J., Kurz, A.: Equational presentations of functors and monads. Math. Structures Comput. Sci.\u00a021, 363\u2013381 (2011)","journal-title":"Math. Structures Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32784-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:15:47Z","timestamp":1620116147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32784-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642327834","9783642327841"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32784-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}