{"id":2281,"date":"2014-02-21T19:49:53","date_gmt":"2014-02-21T19:49:53","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2281"},"modified":"2014-02-23T23:33:42","modified_gmt":"2014-02-23T23:33:42","slug":"work-in-progress-lira-session-giovanni-cina","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2014\/02\/work-in-progress-lira-session-giovanni-cina\/","title":{"rendered":"LIRa Session: Giovanni Cin\u00e0"},"content":{"rendered":"<p><span style=\"font-size: 16px;\">On WEDNESDAY,\u00a0February 26,<\/span><strong style=\"font-size: 16px;\"> <\/strong><span style=\"font-size: 16px;\">we will have a LIRa session with<\/span><strong style=\"font-size: 16px;\"> <strong>Giovanni Cin\u00e0<\/strong><\/strong><span style=\"font-size: 16px;\">. <\/span><\/p>\n<p><span style=\"font-size: 16px;\">Everyone is cordially invited!<\/span><\/p>\n<p>Speaker:\u00a0<strong>Giovanni Cin\u00e0 <\/strong>(University of Amsterdam)<br \/>\nTitle:\u00a0<span style=\"font-style: italic;\">Modal Logics for Presheaf Categories<br \/>\n<\/span>Date and Time: Wednesday, February 26, 2014,\u00a0<strong>16:30-18:00<br \/>\n<\/strong>Venue: Science Park 107, Room\u00a0<strong>F1.15<\/strong><\/p>\n<p>Abstract:<\/p>\n<blockquote>\n<div dir=\"ltr\">\n<p>In this talk we will outline some work in progress in the area at the interface of Modal Logic and Category Theory. We will focus on presheaf categories and on a construction called the category of elements.\u00a0Such construction can be applied in two distinct ways, depending on how we want to conceptualize the base category.<\/p>\n<p>If the objects of the base category are regarded as path objects (that is, computational-path shapes) then we follow the steps of Winskel, Nielsen and others, who investigated the characterization of the notion of bisimulation in terms of spans of open maps. In this context we are naturally inclined to introduce a \u201cpath logic\u201d, a logic that described how paths are interlinked. \u00a0Together with Sebastian Enqvist we are looking into correspondence results for this modal formalism.<\/p>\n<p>If the objects of the base category are seen as types then it makes sense to perform a different variant of the category of elements. We can then show that, via such construction, each presheaf category is categorically equivalent to a special kind of transition systems (or rather, to the corresponding category). \u00a0This prompts the quest for a logic that axiomatizes such class of transition systems. We propose a sound proof system and offer some remarks on the completeness proof.<\/p>\n<\/div>\n<\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>On WEDNESDAY,\u00a0February 26, we will have a LIRa session with Giovanni Cin\u00e0.<br \/>\nEveryone is cordially invited!<br \/>\nSpeaker:\u00a0Giovanni Cin\u00e0 (University of Amsterdam)<br \/>\nTitle:\u00a0Modal Logics for Presheaf Categories<br \/>\nDate and Time: Wednesday, February 26, 2014,\u00a016:30-18:00<br \/>\nVenue: Science Park 107, Room\u00a0F1.15<br \/>\nAbstract:<\/p>\n<p>In this talk we will outline some work in progress in the area at the interface of Modal Logic and Category Theory. [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-2281","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2281","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=2281"}],"version-history":[{"count":11,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2281\/revisions"}],"predecessor-version":[{"id":2284,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2281\/revisions\/2284"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2281"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2281"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2281"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}