{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T04:27:50Z","timestamp":1691555270868},"reference-count":20,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.380.14","type":"journal-article","created":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T11:58:01Z","timestamp":1690545481000},"page":"237-253","source":"Crossref","is-referenced-by-count":0,"title":["Lax Liftings and Lax Distributive Laws"],"prefix":"10.4204","volume":"380","author":[{"given":"Ezra","family":"Schoen","sequence":"first","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2023,8,7]]},"reference":[{"key":"Baltag2000","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/S1571-0661(05)80343-3","article-title":"A Logic for Coalgebraic Simulation","volume":"33","author":"Baltag","year":"2000","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"Barr1970","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BFb0060439","article-title":"Relational algebras","volume-title":"Reports of the Midwest Category Seminar IV","author":"Barr","year":"1970"},{"key":"Beck1969","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BFb0083084","article-title":"Distributive laws","volume-title":"Seminar on Triples and Categorical Homology Theory","author":"Beck","year":"1969"},{"key":"Bird1997","series-title":"Prentice-Hall international series in computer science","volume-title":"Algebra of Programming","author":"Bird","year":"1997"},{"key":"Carboni1991","first-page":"47","article-title":"A 2-categorical approach to change of base and geometric morphisms I","volume":"32","author":"Carboni","year":"1991","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"Hansen2004","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.entcs.2004.02.028","article-title":"A Coalgebraic Perspective on Monotone Modal Logic","volume":"106","author":"Hansen","year":"2004","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"2","key":"Hansen2009","doi-asserted-by":"publisher","DOI":"10.2168\/lmcs-5(2:2)2009","article-title":"Neighbourhood Structures: Bisimilarity and Basic Model Theory","volume":"5","author":"Hansen","year":"2009","journal-title":"Logical Methods in Computer Science"},{"issue":"1","key":"Hughes2004","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.tcs.2004.07.022","article-title":"Simulations in coalgebra","volume":"327","author":"Hughes","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"Jacobs2016","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316823187","volume-title":"Introduction to Coalgebra: Towards Mathematics of States and Observation","author":"Jacobs","year":"2016"},{"key":"Klin2006","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2006.11.018","article-title":"Bialgebraic Methods in Structural Operational Semantics. Invited Talk","volume":"175","author":"Klin","year":"2006","journal-title":"Electronic Notes in Theoretical Computer Science (ENTCS)"},{"issue":"4","key":"Kurz2016","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.jlamp.2015.08.002","article-title":"Relation lifting, a survey","volume":"85","author":"Kurz","year":"2016","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"issue":"5","key":"Marti2015","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1016\/j.jcss.2014.12.006","article-title":"Lax extensions of coalgebra functors and their logic","volume":"81","author":"Marti","year":"2015","journal-title":"Journal of Computer and System Sciences"},{"key":"Mulry1994","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-58027-1_15","article-title":"Lifting theorems for Kleisli categories","volume-title":"Mathematical Foundations of Programming Semantics","author":"Mulry","year":"1994"},{"key":"Rutten1998","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1016\/S1571-0661(04)00063-5","article-title":"Relators and Metric Bisimulations: (Extended Abstract)","volume":"11","author":"Rutten","year":"1998","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"Santocanale2010","article-title":"Uniform Interpolation for Monotone Modal Logic","volume-title":"Advances in Modal Logic","author":"Santocanale","year":"2010"},{"key":"Schoen2021","volume-title":"Relation Lifting and Coalgebraic Logic","author":"Schoen","year":"2021"},{"key":"Street2009","first-page":"313","article-title":"Weak distributive laws","volume":"22","author":"Street","year":"2019","journal-title":"Theory and Applications of Categories"},{"key":"Thijs1996","volume-title":"Simulation and fixpoint semantics","author":"Thijs","year":"1996"},{"key":"Turi1997","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/LICS.1997.614955","article-title":"Towards a mathematical operational semantics","author":"Turi","year":"1997","journal-title":"Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science"},{"key":"Zetzsche2021","doi-asserted-by":"publisher","first-page":"296","DOI":"10.4204\/eptcs.351.18","article-title":"Canonical Automata via Distributive Law Homomorphisms","volume":"351","author":"Zetzsche","year":"2021","journal-title":"Electronic Proceedings in Theoretical Computer Science"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T18:36:05Z","timestamp":1691519765000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2307.16552v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.4204\/eptcs.380.14","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,7]]}}}