On my #blog , in which I try to write pithy summaries of major papers and books in my field, I attempt to say something meaningful in minimal space about the monumental 'Sketches of an Elephant' https://updatedscholar.blogspot.com/2022/11/discussing-sketches-of-elephant-topos.html #CategoryTheory #ToposTheory #topos #HigherOrderLogic