{"id":1892,"date":"2026-03-16T14:40:37","date_gmt":"2026-03-16T13:40:37","guid":{"rendered":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/?page_id=1892"},"modified":"2026-04-30T19:09:16","modified_gmt":"2026-04-30T17:09:16","slug":"special-session-17","status":"publish","type":"page","link":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/special-sessions\/special-session-17\/","title":{"rendered":"Special Session 17 &#8211; Category theory and Applications"},"content":{"rendered":"<section  class='av_textblock_section av-mms7qkau-d2bee843739779d296e80822fec19f0d '   itemscope=\"itemscope\" itemtype=\"https:\/\/schema.org\/CreativeWork\" ><div class='avia_textblock'  itemprop=\"text\" ><h1><span style=\"color: #000000;\">Special Session 17<\/span><\/h1>\n<h2><span style=\"color: #000000;\">Category theory and Applications<\/span><\/h2>\n<p><span style=\"color: #000000;\"><strong>Organizers:<\/strong><\/span><\/p>\n<ul>\n<li><span style=\"color: #000000;\">Hugo Mariano (University of S\u00e3o Paulo, Brazil),<\/span><\/li>\n<li><span style=\"color: #000000;\">Davide Trotta (University of Padua, Italy),<\/span><\/li>\n<li><span style=\"color: #000000;\">Samuele Maschio (University of Padua, Italy)<\/span><\/li>\n<\/ul>\n<p><span style=\"color: #000000;\"><strong>MSC codes:<\/strong> 18-XX<\/span><\/p>\n<p><span style=\"color: #000000;\"><strong>Description:<\/strong> <\/span><\/p>\n<p><span style=\"color: #000000;\">This special session is devoted to current research, developed by Italian and Brazilian researchers, in category theory, covering its main areas, methods and applications. The session brings together contributions of categorical methods and themes in: toposes, fibrations, 2-categories, descent, dualities, comonads, categorical logic, type theory, sheaves and graphs. Its aim is to provide a unified forum for presenting recent developments across these interconnected fields. By covering a wide spectrum of themes in category theory, the session aims to stimulate interaction and strengthen collaborations between Italian and Brazilian researchers working in category theory and its applications in mathematics and theoretical computer science.<\/span><\/p>\n<p><strong>Speakers<\/strong>:<\/p>\n<ul>\n<li><span style=\"color: #000000;\">Pedro Amorim, University of Bath (United Kingdom)<\/span><\/li>\n<li><span style=\"color: #000000;\">Benjamin Bumpus, University of S\u00e3o Paulo (Brazil)<\/span><\/li>\n<li><span style=\"color: #000000;\">Elena Caviglia, Stellenbosch University (South Africa)<\/span><\/li>\n<li><span style=\"color: #000000;\">Alan Cigoli, University of Turin (Italy)<\/span><\/li>\n<li><span style=\"color: #000000;\">Fernando Lucatelli, University of Coimbra (Portugal)<\/span><\/li>\n<li><span style=\"color: #000000;\">Maria Emilia Maietti, University of Padua (Italy)<\/span><\/li>\n<li><span style=\"color: #000000;\">Sandra Mantovani, University of Milan (Italy)<\/span><\/li>\n<li><span style=\"color: #000000;\">Hugo Mariano, University of S\u00e3o Paulo (Brazil)<\/span><\/li>\n<li><span style=\"color: #000000;\">Vincenzo Marra, University of Milan (Italy)<\/span><\/li>\n<li><span style=\"color: #000000;\">Luca Reggio, University of Milan (Italy)<\/span><\/li>\n<li><span style=\"color: #000000;\">Jos\u00e9 Siqueira, Wolfson College &amp; St Edmund&#8217;s College (United Kingdom)<\/span><\/li>\n<\/ul>\n<\/div><\/section>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":6,"featured_media":0,"parent":210,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1892","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/1892","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/comments?post=1892"}],"version-history":[{"count":4,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/1892\/revisions"}],"predecessor-version":[{"id":2255,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/1892\/revisions\/2255"}],"up":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/210"}],"wp:attachment":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/media?parent=1892"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}