{"id":310,"date":"2015-05-26T09:31:32","date_gmt":"2015-05-26T07:31:32","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/tacl\/?p=310"},"modified":"2015-05-26T09:31:57","modified_gmt":"2015-05-26T07:31:57","slug":"tacl-school-course-by-ieke-moerdijk","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/tacl\/tacl-school-course-by-ieke-moerdijk\/","title":{"rendered":"TACL school: course by Ieke Moerdijk"},"content":{"rendered":"<p><strong><img loading=\"lazy\" decoding=\"async\" class=\" size-medium wp-image-153 alignleft\" src=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/12\/ieke_moerdijk-dva-5403-500pix-300x199.jpg\" alt=\"Ieke Moerdijk\" width=\"300\" height=\"199\" srcset=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/12\/ieke_moerdijk-dva-5403-500pix-300x199.jpg 300w, http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/12\/ieke_moerdijk-dva-5403-500pix.jpg 500w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/>Title<\/strong>: &#8220;From algebraic topology to algebraic set theory&#8221;<\/p>\n<p><strong>Course description<\/strong>: In the first two lectures, we will discuss several approaches to axiomatic\u00a0homotopy theory (notably Brown&#8217;s Categories of Fibrant Objects and \u00a0Quillen&#8217;s\u00a0Model Categories). We will then present a categorical axiomatisation of set theory,\u00a0in the style of Algebraic Set Theory but directed more towards models of predicative\u00a0set theory. In a final lecture, we will discuss how one can pass from (models of) the\u00a0first axiomatisation to the second one. (This last part is based on joint work with\u00a0Benno van den Berg).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Title: &#8220;From algebraic topology to algebraic set theory&#8221; Course description: In the first two lectures, we will discuss several approaches to axiomatic\u00a0homotopy theory (notably Brown&#8217;s Categories of Fibrant Objects and \u00a0Quillen&#8217;s\u00a0Model Categories). We will then present a categorical axiomatisation of set theory,\u00a0in the style of Algebraic Set Theory but directed more towards models of predicative\u00a0set [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8,7],"tags":[],"class_list":["post-310","post","type-post","status-publish","format-standard","hentry","category-course-descriptions","category-tacl-school"],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts\/310","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/comments?post=310"}],"version-history":[{"count":3,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts\/310\/revisions"}],"predecessor-version":[{"id":313,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts\/310\/revisions\/313"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/media?parent=310"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/categories?post=310"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/tags?post=310"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}