daniel gratzer on Nostr: nprofile1q…d6kk0 I was just revisiting this book recently for pedagogy reasons ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) I was just revisiting this book recently for pedagogy reasons actually! There are a few chapters which I think are Pretty Much Fine. IV, V, VI cover stuff in a way I am mostly happy with. Some of the proofs are a bit tedious, but not unreasonably so. but notably the later chapters which deal with the category Topos are very brutal proofwise and the proof of Diaconescu's theorem is particularly painful