The interplay between Grothendieck topoi and logic
dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | Oosten, J. van | |
dc.contributor.author | Mulder, J. | |
dc.date.accessioned | 2013-09-20T17:01:23Z | |
dc.date.available | 2013-09-20 | |
dc.date.available | 2013-09-20T17:01:23Z | |
dc.date.issued | 2013 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/14954 | |
dc.description.abstract | Grothendieck topoi are generalizations of the categories of sheaves over topological spaces (familiar from algebraic geometry). The structure of a Grothendieck topos permits an interpretation of a kind of first-order logic called geometric logic. We explore the interplay between these two viewpoints, guided by the 1987 article On Representations of Grothendieck Toposes by M. Barr and M. Makkai, and the 1977 book First Order Categorical Logic by G.E. Reyes and M. Makkai. | |
dc.description.sponsorship | Utrecht University | |
dc.format.extent | 571989 bytes | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | |
dc.title | The interplay between Grothendieck topoi and logic | |
dc.type.content | Master Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.keywords | Grothendieck topoi | |
dc.subject.keywords | logic | |
dc.subject.keywords | topos theory | |
dc.subject.keywords | category theory | |
dc.subject.keywords | Grothendieck topos | |
dc.subject.courseuu | Mathematical Sciences |