{"id":1794,"date":"2021-11-21T10:41:34","date_gmt":"2021-11-21T09:41:34","guid":{"rendered":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/?p=1794"},"modified":"2022-03-18T11:46:46","modified_gmt":"2022-03-18T10:46:46","slug":"teoria-delle-categorie-corso-di-dottorato-2021-22","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1794-teoria-delle-categorie-corso-di-dottorato-2021-22\/","title":{"rendered":"Teoria delle categorie (Corso di dottorato 2021\/22)"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\" id=\"introduzione\">Introduzione<\/h2>\n\n\n\n<p>La <a href=\"https:\/\/it.wikipedia.org\/wiki\/Teoria_delle_categorie\">teoria delle categorie<\/a> \u00e8 un linguaggio moderno, molto diverso da quello della teoria degli insiemi, in cui pu\u00f2 essere formalizzata la matematica.&nbsp; Mentre il linguaggio degli insiemi ha come concetto fondamentale quello di <em>appartenenza<\/em>, il linguaggio della teoria delle categorie \u00e8 incentrato sul concetto di <em><strong>trasformazione<\/strong>. <\/em>Questo piccolo cambiamento iniziale ha ripercussioni enormi sulle intuizioni che guidano i ragionamenti matematici.&nbsp; Spesso, riformulare un problema in termini categoriali offre una prospettiva completamente diversa su di esso e aiuta a distinguere la parte \u201cgenerale\u201d di un problema dal quella pi\u00f9 specifica.<br>Una buona parte della matematica contemporanea \u00e8 espressa esclusivamente <a href=\"http:\/\/maddmaths.simai.eu\/divulgazione\/langolo-arguto\/la-teoria-delle-categorie-sbarca-su-forbes\/\">nel linguaggio della teoria delle categorie<\/a>. Inoltre la teoria delle categorie si presta anche allo studio della fisica dove, ad esempio, le fusion categories e le categorie di moduli emergono nello studio degli stati topologici della materia nella fisica dello stato solido (si veda ad esempio <a href=\"http:\/\/stationq.ucsb.edu\/\">qui<\/a> o <a href=\"http:\/\/www.cs.ox.ac.uk\/bob.coecke\/Cats.pdf\">questo articolo<\/a>).<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"argomenti-del-corso\">Argomenti del corso<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li>Categorie, propriet\u00e0 universali, funtori.<\/li><li>Trasformazioni naturali, funtori aggiunti ed equivalenze categoriali.<\/li><li>Dualit\u00e0 concrete.<\/li><li>Lemma di Yoneda.<\/li><li>Sheaf e topos.<\/li><li>Monadi.<\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"argomenti-delle-lezioni\">Argomenti delle lezioni<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>24\/02\/2022<\/strong> &#8211; Introduzione al corso, definizione di categoria, frecce mono, epi e iso<\/li><li><strong>25\/02\/2022<\/strong> &#8211; Oggetti terminali e iniziali. Equalizzatori e co-equalizzatori. Prodotti e co-coprodotti. Esempi.<\/li><li><strong>03\/03\/2022<\/strong> &#8211; Pullback e pushout. Categorie comma. Funtori.<\/li><li><strong>04\/03\/2022<\/strong> &#8211; Trasformazioni naturali. Il lemma di Yoneda. L&#8217;immersione di Yoneda.<\/li><li><strong>10\/03\/2022<\/strong> &#8211; Aggiunzioni.<\/li><li><strong>11\/03\/2022<\/strong> &#8211;  Ancora su aggiunzioni e loro esempi.<\/li><li><strong>17\/03\/2022<\/strong> &#8211;  Le dualit\u00e0 di Stone, Gel&#8217;fand e Pontryagin.<\/li><li><strong>18\/03\/2022<\/strong> &#8211; Dualit\u00e0 concrete e aggiunzioni affini.<\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"materiale-del-corso\">Materiale del corso<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li>Harold Simmons. An introduction to category theory. Cambridge University Press, 2011. (Disponibile gratuitamente <a href=\"https:\/\/web.archive.org\/web\/20180218231725\/http:\/\/www.cs.man.ac.uk\/~hsimmons\/zCATS.pdf\">qui<\/a>)<\/li><li>Robert Goldblatt Topoi: The Categorial Analysis of Logic, Dover Publications 2006. (Disponibile gratuitamente <a href=\"https:\/\/projecteuclid.org\/ebooks\/books-by-independent-authors\/Topoi-The-Categorial-Analysis-of-Logic\/toc\/bia\/1403013939\">qui<\/a>)<\/li><li>Saunders Mac Lane. Categories for the Working Mathematician (Seconda edizione). Springer. 1988. (Disponibile gratuitamente <a href=\"https:\/\/www.maths.ed.ac.uk\/~v1ranick\/papers\/maclanecat.pdf\">qui<\/a>)<\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"aspetti-pratici\">Aspetti pratici<\/h2>\n\n\n\n<p>Docente: Luca Spada<br>Durata del corso: 20 ore.<br><\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"esame\">Esame<\/h3>\n\n\n\n<p>\u00c8 possibile scegliere di sostenere l&#8217;esame finale in uno dei seguenti modi:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Un breve colloquio orale (circa 30 minuti) in cui saranno valutate le conoscenze acquisite in merito ai concetti di base e a quelli pi\u00f9 avanzati della teoria delle categorie. <\/li><li>L&#8217;esposizione di un argomento concordato con il docente e non trattato nel corso, nella forma di un breve seminario aperto anche agli altri dottorandi della durata di circa 45 minuti. <\/li><li>La risoluzione a casa di alcuni esercizi.<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"orario\">Orario<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>Gioved\u00ec 9:30 &#8211; 12:30 &#8211; Sala riunioni DipMat<\/li><li>Venerd\u00ec 9:30 &#8211; 11:30 &#8211; Sala riunioni DipMat<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Introduzione La teoria delle categorie \u00e8 un linguaggio moderno, molto diverso da quello della teoria degli insiemi, in cui pu\u00f2 essere formalizzata la matematica.&nbsp; Mentre il linguaggio degli insiemi ha come concetto fondamentale quello di appartenenza, il linguaggio della teoria delle categorie \u00e8 incentrato sul concetto di trasformazione. Questo piccolo cambiamento iniziale ha ripercussioni enormi [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":1703,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[179,40],"class_list":["post-1794","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-teaching","tag-category","tag-course"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1794","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=1794"}],"version-history":[{"count":6,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1794\/revisions"}],"predecessor-version":[{"id":1821,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1794\/revisions\/1821"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media\/1703"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=1794"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=1794"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=1794"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}