{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:06:59Z","timestamp":1725602819935},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229435"},{"type":"electronic","value":"9783642229442"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22944-2_9","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T05:45:59Z","timestamp":1314251159000},"page":"115-129","source":"Crossref","is-referenced-by-count":6,"title":["Relation Liftings on Preorders and Posets"],"prefix":"10.1007","author":[{"given":"Marta","family":"B\u00edlkov\u00e1","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Kurz","sequence":"additional","affiliation":[]},{"given":"Daniela","family":"Petri\u015fan","sequence":"additional","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Velebil","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","first-page":"509","volume":"8.20","author":"J. Ad\u00e1mek","year":"2001","unstructured":"Ad\u00e1mek, J., El Bashir, R., Sobral, M., Velebil, J.: On functors that are lax epimorphisms. Theory Appl. Categ.\u00a08.20, 509\u2013521 (2001)","journal-title":"Theory Appl. Categ."},{"key":"9_CR2","series-title":"LNCS","first-page":"85","volume-title":"CALCO 2011","author":"A. Balan","year":"2011","unstructured":"Balan, A., Kurz, A.: Finitary Functors: from Set to Preord and Poset. In: Corradini, A., Klin, B., Crstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 85\u201399. Springer, Heidelberg (2011)"},{"key":"9_CR3","first-page":"41","volume":"33","author":"A. Baltag","year":"2000","unstructured":"Baltag, A.: A logic for coalgebraic simulation. Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci.\u00a033, 41\u201360 (2000)","journal-title":"Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci."},{"key":"9_CR4","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BFb0060439","volume-title":"Reports of the Midwest Category Seminar\u00a0IV","author":"M. Barr","year":"1970","unstructured":"Barr, M.: Relational algebras. In: Reports of the Midwest Category Seminar\u00a0IV. Lecture Notes in Mathematics, vol.\u00a0137, pp. 39\u201355. Springer, Heidelberg (1970)"},{"key":"9_CR5","first-page":"410","volume":"10.16","author":"R. Bashir El","year":"2002","unstructured":"El Bashir, R., Velebil, J.: Reflective and coreflective subcategories of presheaves. Theory Appl. Categ.\u00a010.16, 410\u2013423 (2002)","journal-title":"Theory Appl. Categ."},{"key":"9_CR6","first-page":"47","volume":"XXXII.1","author":"A. Carboni","year":"1991","unstructured":"Carboni, A., Kelly, G.M., Wood, R.J.: A 2-categorical approach to change of base and geometric morphisms\u00a0I. Cahiers de Top. et G\u00e9om. Diff.\u00a0XXXII.1, 47\u201395 (1991)","journal-title":"Cahiers de Top. et G\u00e9om. Diff."},{"key":"9_CR7","first-page":"103","volume":"IV.2","author":"R. Guitart","year":"1980","unstructured":"Guitart, R.: Relations et carr\u00e9s exacts. Ann.\u00a0Sci.\u00a0Math.\u00a0Qu\u00e9bec\u00a0IV.2, 103\u2013125 (1980)","journal-title":"Ann.\u00a0Sci.\u00a0Math.\u00a0Qu\u00e9bec"},{"key":"9_CR8","unstructured":"Hermida, C.: A categorical outlook on relational modalities and simulations, preprint, \n                    \n                      http:\/\/maggie.cs.queensu.ca\/chermida\/papers\/sat-sim-IandC.pdf"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1006\/inco.1998.2725","volume":"145","author":"C. Hermida","year":"1998","unstructured":"Hermida, C., Jacobs, B.: Structural induction and coinduction in the fibrational setting. Inform.\u00a0and Comput.\u00a0145, 107\u2013152 (1998)","journal-title":"Inform.\u00a0and Comput."},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.tcs.2004.07.022","volume":"327","author":"J. Hughes","year":"2004","unstructured":"Hughes, J., Jacobs, B.: Simulations in coalgebra. Theor.\u00a0Comput.\u00a0Sci.\u00a0327, 71\u2013108 (2004)","journal-title":"Theor.\u00a0Comput.\u00a0Sci."},{"key":"9_CR11","unstructured":"Kapulkin, K., Kurz, A., Velebil, J.: Expressivity of Coalgebraic Logic over Posets. In: CMCS 2010 Short contributions, CWI Technical report SEN-1004, pp. 16\u201317 (2010)"},{"key":"9_CR12","series-title":"London Math. Soc. Lecture Notes Series","volume-title":"Basic concepts of enriched category theory","author":"G.M. Kelly","year":"1982","unstructured":"Kelly, G.M.: Basic concepts of enriched category theory. London Math. Soc. Lecture Notes Series, vol.\u00a064. Cambridge Univ. Press, New York (1982)"},{"key":"9_CR13","unstructured":"Klin, B.: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics. University of Aarhus (2004)"},{"key":"9_CR14","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Completeness of the finitary Moss logic. In: Advances in Modal Logic, pp. 193\u2013217. College Publications (2008)"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/j.entcs.2009.07.097","volume":"249","author":"A. Kurz","year":"2009","unstructured":"Kurz, A., Leal, R.: Equational coalgebraic logic. Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci.\u00a0249, 333\u2013356 (2009)","journal-title":"Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci."},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-19805-2_3","volume-title":"Foundations of Software Science and Computational Structures","author":"P.B. Levy","year":"2011","unstructured":"Levy, P.B.: Similarity quotients as final coalgebras. In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol.\u00a06604, pp. 27\u201341. Springer, Heidelberg (2011)"},{"issue":"2","key":"9_CR17","first-page":"24","volume":"3","author":"F. Marmolejo","year":"1997","unstructured":"Marmolejo, F.: Doctrines whose structure forms a fully faithful adjoint string. Theor. Appl. Categ.\u00a03(2), 24\u201344 (1997)","journal-title":"Theor. Appl. Categ."},{"issue":"5","key":"9_CR18","first-page":"91","volume":"5","author":"F. Marmolejo","year":"1999","unstructured":"Marmolejo, F.: Distributive laws for pseudomonads. Theor. Appl. Categ.\u00a05(5), 91\u2013147 (1999)","journal-title":"Theor. Appl. Categ."},{"issue":"1","key":"9_CR19","first-page":"1","volume":"22","author":"F. Marmolejo","year":"2009","unstructured":"Marmolejo, F., Rosebrugh, R., Wood, R.J.: Duality for CCD lattices. Theor. Appl. Categ.\u00a022(1), 1\u201323 (2009)","journal-title":"Theor. Appl. Categ."},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","volume":"96","author":"L. Moss","year":"1999","unstructured":"Moss, L.: Coalgebraic logic. Ann.\u00a0Pure Appl.\u00a0Logic\u00a096, 277\u2013317 (1999)","journal-title":"Ann.\u00a0Pure Appl.\u00a0Logic"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1016\/S1571-0661(04)00063-5","volume":"11","author":"J. Rutten","year":"1998","unstructured":"Rutten, J.: Relators and Metric Bisimulations (Extended Abstract). Electr. Notes Theor. Comput. Sci.\u00a011, 252\u2013258 (1998)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","volume":"2","author":"R. Street","year":"1972","unstructured":"Street, R.: The formal theory of monads. J. Pure Appl. Algebra\u00a02, 149\u2013168 (1972)","journal-title":"J. Pure Appl. Algebra"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Street, R.: Fibrations and Yoneda\u2019s lemma in a 2-category. In: Category Seminar, Sydney 1974. Lecture Notes in Mathematics, vol.\u00a0420, pp. 104\u2013133 (1974)","DOI":"10.1007\/BFb0063102"},{"key":"9_CR24","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/BFb0063103","volume-title":"Category Seminar, Sydney 1974","author":"R. Street","year":"1974","unstructured":"Street, R.: Elementary cosmoi I. In: Category Seminar, Sydney 1974. Lecture Notes in Mathematics, vol.\u00a0420, pp. 134\u2013180. Springer, Heidelberg (1974)"},{"key":"9_CR25","first-page":"111","volume":"XXI.2","author":"R. Street","year":"1980","unstructured":"Street, R.: Fibrations in bicategories. Cahiers de Top. et G\u00e9om. Diff.\u00a0XXI.2, 111\u2013159 (1980)","journal-title":"Cahiers de Top. et G\u00e9om. Diff."},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1016\/j.ic.2005.06.003","volume":"204.4","author":"Y. Venema","year":"2006","unstructured":"Venema, Y.: Automata and fixed point logic: a coalgebraic perspective. Inform.\u00a0and Comput.\u00a0204.4, 637\u2013678 (2006)","journal-title":"Inform.\u00a0and Comput."},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S1571-0661(05)80356-1","volume":"33","author":"J. Worrell","year":"2000","unstructured":"Worrell, J.: Coinduction for recursive data types: partial orders, metric spaces and \u03a9-categories. Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci.\u00a033, 337\u2013356 (2000)","journal-title":"Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci."}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22944-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T11:39:44Z","timestamp":1620041984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22944-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229435","9783642229442"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22944-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}