Prerequisites for Peter Johnstone's Topos Theory

1k Views Asked by At

This I'm a third year undergraduate student majoring computer science and minoring mathematics. I'm interested in topos theory both from logical and geometrical point of view. I've seen this book being suggested in various places, such as Topos in nLab and this introduction with programmatic reading plan by John Baez. For this purpose I'm currently learning rudiments of category theory from Awodey's Category Theory book and haven't read anything else before. There's also this similar question asking about prerequisites for topos theory, which is more general for me who is aiming to read this specific book.

I wanted to ask for suggestions for programmatic reading plan that covers sufficient (and ideally, necessary) material which ables someone to go through this book without much difficulty.


Edits

As @KevinArlin mentioned, Baez's reading plan is provided for learning general advanced topos theory, which is also the subject of this specific book and therefore it's a suited suggestion. But I was willing to see more/other suggestions here from those who have read this book.

1

There are 1 best solutions below

2
On BEST ANSWER

I agree with Zhen Lin’s and Baez’s recommendations. You will need more comfort than just the rudiments in general category theory to learn topos theory. After that, start topos theory no further down Baez’s list than Mac Lane-Moerdijk. It is generally a very good idea to try to have somebody you can talk about this material rather than learning from books alone, but there is a lot of categorical conversation online that might help with this process if that’s impossible; you can read old conversations on the nCategory Cafe or perhaps join the category theory Zulip channel (not sure how active it still is, but you can find references to it on Baez’s site.)