{"id":930,"date":"2016-12-21T18:50:24","date_gmt":"2016-12-21T17:50:24","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/lucaspada\/?p=930"},"modified":"2017-10-05T09:40:24","modified_gmt":"2017-10-05T08:40:24","slug":"930","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/930-930\/","title":{"rendered":"PhD Course on Category Theory (Jan-Feb 2017)"},"content":{"rendered":"<h2>Page contents<\/h2>\n<ul>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/930-phd-course-on-category-theory-jan-feb-2017\/#news\">News<\/a><\/li>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/930-phd-course-on-category-theory-jan-feb-2017\/#contents\">Contents<\/a><\/li>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/930-phd-course-on-category-theory-jan-feb-2017\/#material\">Course material<\/a><\/li>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/930-phd-course-on-category-theory-jan-feb-2017\/#prac\">Practicalities<\/a><\/li>\n<\/ul>\n<h2><a name=\"news\"><\/a>News<\/h2>\n<h2><a name=\"contents\"><\/a>Contents<\/h2>\n<ul>\n<li>Categories and functors. Universal objects.<\/li>\n<li>Natural transformations. \u00a0Adjoint functors and equivalences.<\/li>\n<li>Dualities: Stone, Gelfand, Pontryagin.<\/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>. (2011)\u00a0Cambridge University Press.<\/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.<\/li>\n<\/ul>\n<h3>Homework<\/h3>\n<ul>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/Homework-set-1.pdf\">Homework set 1<\/a><\/li>\n<li>Homework 2: prove that the three\u00a0definitions of adjoint functors are equivalent. Skip the easiest details.<\/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>Length of the course:\u00a0<strong>10 hours<\/strong>.<\/li>\n<\/ul>\n<h3>Dates\/rooms:<\/h3>\n<ul>\n<li>Lectures will take place is\u00a0<em>Sala Riunioni,\u00a0<\/em>Department of Mathematics.<\/li>\n<li>Lectures will be scheduled as follows:\n<ul>\n<li>Tuesday 17 of January, from 11:00 to 13:00;<\/li>\n<li>Thursday 19 of January, from 11:00 to 13:00;<\/li>\n<li>Tuesday 24 of January, from 11:00 to 13:00;<\/li>\n<li>Thursday 26 of January, from 11:00 to 13:00;<\/li>\n<li>Tuesday 7 of February, from 11:00 to 13:00;<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><center><strong>Comments, complaints, questions<\/strong>: please write to\u00a0<a href=\"mailto:luca.spada@gmail.com\">Luca Spada<\/a><\/center><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Page contents News Contents Course material Practicalities News Contents Categories and functors. Universal objects. Natural transformations. \u00a0Adjoint functors and equivalences. Dualities: Stone, Gelfand, Pontryagin. Course material Harold Simmons.\u00a0An Introduction to Category Theory. (2011)\u00a0Cambridge University Press. Saunders Mac Lane.\u00a0Categories for the Working Mathematician\u00a0(Second edition).\u00a0Springer. Homework Homework set 1 Homework 2: prove that the three\u00a0definitions of adjoint [&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":[],"class_list":["post-930","post","type-post","status-publish","format-standard","hentry","category-teaching"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/930","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=930"}],"version-history":[{"count":11,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/930\/revisions"}],"predecessor-version":[{"id":1136,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/930\/revisions\/1136"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=930"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=930"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=930"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}