I'm about to finish Peter Smith's Gentle Introduction to Category Theory. What should I read afterwards if I want to get into topos theory or homotopy type theory?
>>9170396
>writing Xeno with a Z
>>9170396
that's a pretty great picture anon
Dive into a HoTT book and see where you get stuck.
>>9172147
>being a smartass
You do spell Zeno with a zeta, pleb.