{"id":4157,"date":"2014-02-20T06:56:10","date_gmt":"2014-02-20T05:56:10","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=4157"},"modified":"2014-02-20T06:56:10","modified_gmt":"2014-02-20T05:56:10","slug":"coinitial-semantics-for-redecoration-of-triangular-matrices","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/coinitial-semantics-for-redecoration-of-triangular-matrices\/","title":{"rendered":"Coinitial semantics for redecoration of triangular matrices"},"content":{"rendered":"<p>Se ha publicado un art\u00edculo de razonamiento formalizado en <a href=\"http:\/\/coq.inria.fr\">Coq<\/a> titulado <a href=\"http:\/\/arxiv.org\/pdf\/1401.1053v1\">Coinitial semantics for redecoration of triangular matrices<\/a>.<\/p>\n<p>Sus autores son <a href=\"http:\/\/benedikt-ahrens.de\">Benedikt Ahrens<\/a> y <a href=\"http:\/\/www.irit.fr\/-Annuaire-?code=7341\">R\u00e9gis Spadotti<\/a> (del  <i>IRIT, Universit\u00e9 Paul Sabatier<\/i>).<\/p>\n<p>Su resumen es<\/p>\n<blockquote><p>\nInfinite triangular matrices and, in particular, the redecoration operation on them, were studied by Matthes and Picard. In <a href=\"http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2013\/3900\/pdf\/6.pdf\">their work<\/a>, redecoration is characterized as the cobind operation of what the authors call a &#8220;weak constructive comonad&#8221;. <\/p>\n<p>In this work, we identify weak constructive comonads as an instance of the more general notion of relative comonad. Afterwards, building upon the work by Matthes and Picard, we give a category-theoretic characterisation of infinite triangular matrices\u2014equiped with the canonical bisimulation relation and a compatible comonadic cobind operation\u2014as the terminal object in some category.\n<\/p><\/blockquote>\n<p>El c\u00f3digo de las correspondientes teor\u00edas en Coq se encuentra <a href=\"http:\/\/benediktahrens.github.io\/coinductives\/\">aqu\u00ed<\/a>. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>Se ha publicado un art\u00edculo de razonamiento formalizado en Coq titulado Coinitial semantics for redecoration of triangular matrices. Sus autores son Benedikt Ahrens y R\u00e9gis Spadotti (del IRIT, Universit\u00e9 Paul Sabatier). Su resumen es Infinite triangular matrices and, in particular, the redecoration operation on them, were studied by Matthes and Picard. In their work, redecoration&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[100],"tags":[45,285],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4157"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=4157"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4157\/revisions"}],"predecessor-version":[{"id":4158,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/4157\/revisions\/4158"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=4157"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=4157"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=4157"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}