{"id":1336,"date":"2018-04-03T06:54:50","date_gmt":"2018-04-03T05:54:50","guid":{"rendered":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/?p=1336"},"modified":"2018-05-21T14:43:23","modified_gmt":"2018-05-21T13:43:23","slug":"cat-phd","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1336-cat-phd\/","title":{"rendered":"PhD Course, Category Theory (May-June 2018)"},"content":{"rendered":"<h2>Contents of the page<\/h2>\n<ul>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1336-cat-phd\/#news\">Announcements<\/a><\/li>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1336-cat-phd\/#contents\">Topics of the course<\/a><\/li>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1336-cat-phd\/#material\">Course material<\/a><\/li>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1336-cat-phd\/#prac\">Practical information<\/a><\/li>\n<\/ul>\n<h2><a name=\"news\"><\/a>Announcements<\/h2>\n<h2><a name=\"contents\"><\/a>Topics of the course<\/h2>\n<ul>\n<li>Categories, universal properties, functors.<\/li>\n<li>Natural transformations, adjoint functors and categorical equivalences.<\/li>\n<li>Concrete dualities.<\/li>\n<li>Yoneda Lemma.<\/li>\n<li>Sheaves and topoi.<\/li>\n<\/ul>\n<h2><a name=\"material\"><\/a>Course material<\/h2>\n<ul>\n<li>Harold Simmons.\u00a0<a href=\"http:\/\/www.cs.man.ac.uk\/~hsimmons\/zCATS.pdf\">An Introduction to Category Theory<\/a>. Cambridge University Press, 2011.<\/li>\n<li>Robert Goldblatt\u00a0<a href=\"https:\/\/projecteuclid.org\/euclid.bia\/1403013939\">Topoi: The Categorial Analysis of Logic,<\/a>\u00a0\u00a0Dover Publications\u00a0\u00a02006.<\/li>\n<li>Saunders Mac Lane.\u00a0<a href=\"http:\/\/www.maths.ed.ac.uk\/~aar\/papers\/maclanecat.pdf\">Categories for the Working Mathematician<\/a>\u00a0(Second edition).\u00a0Springer. 1988.<\/li>\n<\/ul>\n<h2><a name=\"prac\"><\/a>Practicalities<\/h2>\n<ul>\n<li>Lecturer:\u00a0<a href=\"mailto:luca.spada@gmail.com\">Luca Spada<\/a><\/li>\n<li>Duration of the course:\u00a0<strong>20 hours<\/strong>.<\/li>\n<\/ul>\n<h2>Preliminary programme<\/h2>\n<ul>\n<li>Friday 18 May 2018, from 11:00 to 13:00;<\/li>\n<li>Monday 21 May 2018, from 9:00 to 11:00;<\/li>\n<li>Wednesday 23 May 2018, from 9:00 to 11:00;<\/li>\n<li>Friday 25 May 2018, from 9:00 to 11:00;<\/li>\n<li>Monday 4 June 2018, from 15:00 to 17:00;<\/li>\n<li>Wednesday, June 6, 2018, from 9:00 to 11:00;<\/li>\n<li>Friday 8 June 2018, from 9:00 to 11:00;<\/li>\n<li>Thursday 21 June 2018, from 9:00 to 11:00;<\/li>\n<li>Monday 9 July 2018, from 15:00 to 17:00;<\/li>\n<li>Wednesday 11 July 2018, from 9:00 to 11:00;<\/li>\n<\/ul>\n<p><center><strong>Comments, complaints, questions<\/strong>: write to <a href=\"mailto:luca.spada@gmail.com\">Luca Spada<\/a><\/center><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Contents of the page Announcements Topics of the course Course material Practical information Announcements Topics of the course Categories, universal properties, functors. Natural transformations, adjoint functors and categorical equivalences. Concrete dualities. Yoneda Lemma. Sheaves and topoi. Course material Harold Simmons.\u00a0An Introduction to Category Theory. Cambridge University Press, 2011. Robert Goldblatt\u00a0Topoi: The Categorial Analysis of Logic,\u00a0\u00a0Dover [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[30,179,40,183,55,182,79,158,185,184],"class_list":["post-1336","post","type-post","status-publish","format-standard","hentry","category-teaching","tag-adjunction","tag-category","tag-course","tag-dottorato","tag-duality","tag-phd","tag-stone-duality","tag-teaching","tag-topos-theory","tag-yoneda-lemma"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1336","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=1336"}],"version-history":[{"count":9,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1336\/revisions"}],"predecessor-version":[{"id":1363,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1336\/revisions\/1363"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=1336"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=1336"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=1336"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}