{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T21:29:44Z","timestamp":1697491784901},"reference-count":36,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3954,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1016\/s1571-0661(04)80361-x","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T19:29:25Z","timestamp":1096399765000},"page":"92-111","source":"Crossref","is-referenced-by-count":1,"title":["Some Co-Birkhoff Type Theorems"],"prefix":"10.1016","volume":"65","author":[{"given":"Jesse","family":"Hughes","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB1","unstructured":"Ad'amek J., H. Herrlich, J. Rosick'y and W. Tholen, Weak factorization systems and topological functors (2000). URL citeseer.nj.nec.com\/article\/adamek00weak.html"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB2","series-title":"\u201cAbstract and Concrete Categories,\u201d","author":"Ad\u00e1mek","year":"1990"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB3","first-page":"245","article-title":"Functorial algebras and automata","volume":"13","author":"Ad\u00e1mek","year":"1977","journal-title":"Kybernetika"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek J., and H.-E. Porst, From varieties of algebras to covarieties of coalgebras, in: Corradini et al. [15].","DOI":"10.1016\/S1571-0661(04)80901-0"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB5","article-title":"\u201cLocally Presentable and Accessible Categories,\u201d","volume":"189","author":"Ad\u00e1mek","year":"1994"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB6","first-page":"361","article-title":"Lo\u015b lemma holds in every category","volume":"13","author":"Andr\u00e9ka","year":"1978","journal-title":"Studia Sci. Math. Hungar"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB7","first-page":"133","article-title":"Formulas and ultraproducts in categories","volume":"8","author":"Andr\u00e9ka","year":"1979","journal-title":"Beitrage zur Algebra und Geometrie"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB8","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1515\/dema-1979-0316","article-title":"Injectivity in categories to represent all first order formulas","volume":"12","author":"Andr\u00e9ka","year":"1979","journal-title":"Demonstratio Mathematica"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB9","first-page":"13","article-title":"A general axiomatizability theorem formulated in terms of cone-injective subcategories","volume":"29","author":"Andr\u00e9ka","year":"1981","journal-title":"Universal Algebra (Proc. Coll. Esztergom 1977), Colloq. Math. Soc. J. Bolyai"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB10","unstructured":"Andr\u00e9ka H., and I. N\u00e9meti, Generalization of variety and quasivariety concept to partial algebras through category theory, Dissertationes Mathematicae (Rozprawy Math.) (1983)."},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB11","series-title":"\u201cAlgebraic Foundations of Systems Specifications,\u201d","year":"1999"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB12","article-title":"Subcategories defined by implications","volume":"2","author":"Banaschewski","year":"1976","journal-title":"Houston Journal of Mathematics"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB13","first-page":"5","article-title":"Weak inclusion systems, part 2","volume":"6","author":"C\u00e2z\u00e2nescu","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB14","doi-asserted-by":"crossref","unstructured":"Cerioli M., T. Mossakowski and H. Reichel, From total equational to partial first order logic., in: Astesiano et al. [11].","DOI":"10.1007\/978-3-642-59851-7_3"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Corradini A., M. Lenisa and U. Montanari, editors, 44, Coalgebraic Methods in Computer Science (CMCS'2001), 2001.","DOI":"10.1016\/S1571-0661(05)80916-8"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Goguen J. and G. Ro\u015fu, Institution morphisms, Formal Aspects of Computing (2002), to appear; http:\/\/www-cse.ucsd.edu\/users\/goguen\/pubs\/.","DOI":"10.1007\/s001650200013"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB17","doi-asserted-by":"crossref","unstructured":"Goldblatt R., Duality for some categories of coalgebras, Algebra Universalis (2001), to appear.","DOI":"10.1007\/PL00000352"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB18","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1016\/S0304-3975(00)00395-9","article-title":"What is the coalgebraic analogue of Birkhoff's Variety Theorem?","volume":"266","author":"Goldblatt","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB19","series-title":"Contributions to general algebra, 13 (Velk\u00e9 Karlovice, 1999\/Dresden, 2000)","first-page":"159","article-title":"Birkhoffs variety theorem for coalgebras","author":"Gumm","year":"2001"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB20","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0304-3975(00)00122-5","article-title":"Equational and implicational classes of coalgebras","volume":"260","author":"Gumm","year":"2001","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB21","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0304-3975(00)00123-7","article-title":"Covarieties and complete covarieties","volume":"260","author":"Gumm","year":"2001","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB22","doi-asserted-by":"crossref","unstructured":"Hughes J., Modal operators for coequations, in: Corradini et al. [15].","DOI":"10.1016\/S1571-0661(04)80909-5"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB23","unstructured":"Hughes J., \u201cA Study of Categories of Algebras and Coalgebras,\u201d Ph.D. thesis, Carnegie Mellon University (2001)."},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB24","doi-asserted-by":"crossref","unstructured":"Jacobs, B., Mongruences and cofree coalgebras, in: V. Alagar and M. Nivat, editors, Algebraic Methodology and Software Technology, number 936 in Lect. Notes Comp. Sci. (1995), pp. 245\u2013260.","DOI":"10.1007\/3-540-60043-4_57"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB25","volume":"11","year":"1998","journal-title":"Coalgebraic Methods in Computer Science (CMCS'1998)"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB26","unstructured":"Kurz A., Modal rules are co-implications (1999), draft. Available at http:\/\/helios.pst.informatik.uni-muenchen.de\/~kurz."},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB27","unstructured":"Kurz A., \u201cLogics for Coalgebras and Applications for Computer Science,\u201d Ph.D. thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2000)."},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB28","doi-asserted-by":"crossref","unstructured":"Kurz A., Logics for coalgebras (2001), unpublished.","DOI":"10.1016\/S0304-3975(00)00125-0"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB29","doi-asserted-by":"crossref","unstructured":"Kurz A. and J. Rosicky, Modal predicates and co-equations, Electronic Notes in Theoretical Computer Science (2002), to appear.","DOI":"10.1016\/S1571-0661(04)80364-5"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB30","series-title":"The Metamathematics of Algebraic Systems, Collected Papers","first-page":"1936","article-title":"Quasiprimitive classes of abstract algebras","author":"Mal'cev","year":"1971"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB31","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1016\/S0304-3975(01)00014-7","article-title":"Operators on classes of coalgebras","volume":"269","author":"Ma\u0161ulovi\u0107","year":"2001","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB32","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF01847919","article-title":"On notions of factorizations systems and their applications to cone-injective subcategories","volume":"13","author":"N\u00e9meti","year":"1982","journal-title":"Periodica Mathematica Hungarica"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB33","first-page":"535","article-title":"Cone-implicational subcategories and some Birkhoff-type theorems, Universal Algebra (Proc. Coll. Esztergom 1977)","volume":"29","author":"N\u00e9meti","year":"1981","journal-title":"Colloq. Math. Soc. J. Bolyai"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB34","doi-asserted-by":"crossref","unstructured":"Ro\u015fu G., A Birkhoff-like axiomatizability result for hidden algebra and coalgebra, in: B. Jacobs, L. Moss, H. Reichel and J. Rutten, editors, Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS'98), Lisbon, Portugal, March 1998, Electronic Notes in Theoretical Computer Science 11 (1998), pp. 179\u2013196.","DOI":"10.1016\/S1571-0661(04)00058-1"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB35","doi-asserted-by":"crossref","unstructured":"Ro\u015fu G., Complete categorical equational deduction, in: L. Fribourg, editor, Proceedings of Computer Science Logic (CSL'01), Lecture Notes in Computer Science 2142, Springer, 2001 pp. 528\u2013538.","DOI":"10.1007\/3-540-44802-0_37"},{"key":"10.1016\/S1571-0661(04)80361-X_NEWBIB36","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: a theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoretical Computer Science"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480361X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480361X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T06:51:56Z","timestamp":1585896716000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610480361X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S157106610480361X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80361-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}