{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:34Z","timestamp":1762459414427},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,8,22]],"date-time":"2016-08-22T00:00:00Z","timestamp":1471824000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s10485-016-9451-1","type":"journal-article","created":{"date-parts":[[2016,8,22]],"date-time":"2016-08-22T10:37:15Z","timestamp":1471862235000},"page":"649-661","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Fixed Points of Set Functors: How Many Iterations are Needed?"],"prefix":"10.1007","volume":"24","author":[{"given":"J.","family":"Ad\u00e1mek","sequence":"first","affiliation":[]},{"given":"V.","family":"Koubek","sequence":"additional","affiliation":[]},{"given":"T.","family":"Palm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,22]]},"reference":[{"key":"9451_CR1","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. Carol. 15, 589\u2013609 (1974)","journal-title":"Comment. Math. Univ. Carol."},{"key":"9451_CR2","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/s10485-014-9372-9","volume":"23","author":"J Ad\u00e1mek","year":"2015","unstructured":"Ad\u00e1mek, J., Levy, P.B., Milius, S., Moss, L.S., Sousa, L.: On final coalgebras of power-set functors and saturated trees. Appl. Categ. Struct. 23, 609\u2013641 (2015)","journal-title":"Appl. Categ. Struct."},{"key":"9451_CR3","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0304-3975(03)00378-5","volume":"311","author":"J Ad\u00e1mek","year":"2004","unstructured":"Ad\u00e1mek, J., Porst, H.-E.: On tree coalgebras and coalgebra presentations. Theor. Comput. Sci. 311, 257\u2013283 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"9451_CR4","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1017\/S0960129510000502","volume":"21","author":"J Ad\u00e1mek","year":"2011","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Initial algebras and terminal coalgebras in many-sorted sets. Math. Struct. Comput. Sci. 21, 481\u2013509 (2011)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9451_CR5","doi-asserted-by":"crossref","first-page":"1887","DOI":"10.1016\/j.jpaa.2012.02.026","volume":"216","author":"J Ad\u00e1mek","year":"2012","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Relatively terminal coalgebras. J. Pure Appl. Algebra 216, 1887\u20131895 (2012)","journal-title":"J. Pure Appl. Algebra"},{"key":"9451_CR6","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BF01111838","volume":"116","author":"M Barr","year":"1990","unstructured":"Barr, M.: Coequalizers and free triples. Math. Z. 116, 307\u2013322 (1990)","journal-title":"Math. Z."},{"key":"9451_CR7","doi-asserted-by":"crossref","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 sets. Theor. Comput. Sci. 114, 299\u2013315 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"9451_CR8","first-page":"577","volume":"15","author":"V K\u016frkov\u00e1-Pohlov\u00e1","year":"1974","unstructured":"K\u016frkov\u00e1-Pohlov\u00e1, V., Koubek, V.: When a generalized algebraic category is monadic. Comment. Math. Univ. Carol. 15, 577\u2013587 (1974)","journal-title":"Comment. Math. Univ. Carol."},{"key":"9451_CR9","first-page":"175","volume":"12","author":"V Koubek","year":"1971","unstructured":"Koubek, V.: Set functors. Comment. Math. Univ. Carol. 12, 175\u2013195 (1971)","journal-title":"Comment. Math. Univ. Carol."},{"key":"9451_CR10","first-page":"323","volume":"10","author":"V Trnkov\u00e1","year":"1969","unstructured":"Trnkov\u00e1, V.: Some properties of set functors. Comment. Math. Univ. Carol. 10, 323\u2013352 (1969)","journal-title":"Comment. Math. Univ. Carol."},{"key":"9451_CR11","first-page":"339","volume":"16","author":"V Trnkov\u00e1","year":"1975","unstructured":"Trnkov\u00e1, V., Ad\u00e1mek, J., Koubek, V., Reiterman, J.: Free algebras, input processes and free monads. Comment. Math. Univ. Carol. 16, 339\u2013351 (1975)","journal-title":"Comment. Math. Univ. Carol."},{"key":"9451_CR12","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.tcs.2004.12.009","volume":"338","author":"J Worrell","year":"2006","unstructured":"Worrell, J.: On the final sequence of a finitary set functor. Theor. Comput. Sci. 338, 184\u2013199 (2006)","journal-title":"Theor. Comput. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-016-9451-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-016-9451-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-016-9451-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:06:29Z","timestamp":1498338389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-016-9451-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,22]]},"references-count":12,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["9451"],"URL":"https:\/\/doi.org\/10.1007\/s10485-016-9451-1","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,22]]}}}