{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:40Z","timestamp":1725550660707},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_19","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:04:06Z","timestamp":1129817046000},"page":"288-302","source":"Crossref","is-referenced-by-count":2,"title":["Covarieties of Coalgebras: Comonads and Coequations"],"prefix":"10.1007","author":[{"given":"Ranald","family":"Clouston","sequence":"first","affiliation":[]},{"given":"Robert","family":"Goldblatt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H. Reichel","year":"1995","unstructured":"Reichel, H.: An approach to object semantics based on terminal co-algebras. Mathematical Structures in Computer Science\u00a05, 129\u2013152 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-1-4613-1437-0_5","volume-title":"Object-Orientation with Parallelism and Persistence","author":"B. Jacobs","year":"1996","unstructured":"Jacobs, B.: Objects and classes, coalgebraically. In: Freitag, B., Jones, C.B., Lengauer, C., Schek, H.J. (eds.) Object-Orientation with Parallelism and Persistence, pp. 83\u2013103. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"19_CR3","series-title":"CSLI Lecture Notes No. 53","first-page":"231","volume-title":"Modal Logic and Process Algebra","author":"J.J.M.M. Rutten","year":"1995","unstructured":"Rutten, J.J.M.M.: A calculus of transition systems (towards universal coalgebra). In: Ponse, A., de Rijke, M., Venema, Y. (eds.) Modal Logic and Process Algebra. CSLI Lecture Notes No. 53, pp. 231\u2013256. CSLI Publications, Stanford (1995)"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science\u00a0249, 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"19_CR5","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. Bulletin of the European Association for Theoretical Computer Science\u00a062, 222\u2013259 (1997)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-47797-7_7","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","author":"B. Jacobs","year":"2002","unstructured":"Jacobs, B.: Exercises in coalgebraic specification. In Backhouse. In: Blackhouse, R., Crole, R.L., Gibbons, J. (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol.\u00a02297, pp. 237\u2013280. Springer, Heidelberg (2002)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G. Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society\u00a031, 433\u2013454 (1935)","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the Association for Computing Machinery\u00a032, 137\u2013161 (1985)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1017\/S096012950400458X","volume":"15","author":"R. Goldblatt","year":"2005","unstructured":"Goldblatt, R.: A comonadic account of behavioural covarieties of coalgebras. Mathematical Structures in Computer Science\u00a015, 243\u2013269 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Coalgebraic structure from weak limit preserving functors. Electronic Notes in Theoretical Computer Science\u00a033 (2000)","DOI":"10.1016\/S1571-0661(05)80346-9"},{"key":"19_CR11","unstructured":"Awodey, S., Hughes, J.: The coalgebraic dual of Birkhoff\u2019s variety theorem. Technical Report CMU-PHIL-109, Department of Philosophy, Carnegie Mellon University (2000)"},{"key":"19_CR12","unstructured":"Hughes, J.: A Study of Categories of Algebras and Coalgebras. PhD thesis, Carnegie Mellon University (2001)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1017\/S0960129502003894","volume":"13","author":"S. Awodey","year":"2003","unstructured":"Awodey, S., Hughes, J.: Modal operators and the formal dual of Birkhoff\u2019s completeness theorem. Mathematical Structures in Computer Science\u00a013, 233\u2013258 (2003)","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR14","first-page":"149","volume":"2","author":"B. Banaschewski","year":"1976","unstructured":"Banaschewski, B., Herrlich, H.: Subcategories defined by implications. Houston Journal of Mathematics\u00a02, 149\u2013171 (1976)","journal-title":"Houston Journal of Mathematics"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1017\/S0960129502003882","volume":"13","author":"J. Ad\u00e1mek","year":"2003","unstructured":"Ad\u00e1mek, J., Porst, H.E.: On varieties and covarieties in a category. Mathematical Structures in Computer Science\u00a013, 201\u2013232 (2003)","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525858","volume-title":"Handbook of Categorical Algebra 2. Categories and Structures","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra 2. Categories and Structures. Cambridge University Press, Cambridge (1994)"},{"key":"19_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, Triples and Theories","author":"M. Barr","year":"1985","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1985)"},{"key":"19_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)"},{"key":"19_CR19","volume-title":"Category Theory","author":"H. Herrlich","year":"1973","unstructured":"Herrlich, H., Strecker, G.: Category Theory. Allyn and Bacon, Newton (1973)"},{"key":"19_CR20","doi-asserted-by":"crossref","DOI":"10.1142\/1047","volume-title":"Lecture Notes on Topoi and Quasitopoi","author":"O. Wyler","year":"1991","unstructured":"Wyler, O.: Lecture Notes on Topoi and Quasitopoi. World Scientific, Singapore (1991)"},{"key":"19_CR21","unstructured":"Kurz, A.: Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2000)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T11:08:16Z","timestamp":1586516896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11560647_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}