This Saturday is the grand opening of the Grothendieck Institute https://igrothendieck.org/
The Institute's goal is partly to promote topos theory and its applications, partly to study the still unpublished writings of Alexandre Grothendieck.
(Via Olivia Caramello's blog https://aroundtoposes.com/grothendieck-institute/)
#Grothendieck #ToposTheory

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

Didn't manage to get a #blog post up this week. In my defence, these books are hard work, even to skim! #topostheory #categorytheory

Next week on my #blog https://updatedscholar.blogspot.com/ I'll be writing about 'Sketches of an Elephant' #categorytheory #topostheory . I better get reading...