Last month, Brendan and I had a week together face to face. In and of itself, this would have been a lovely experience and a good chance to discuss all things Topos, but it was made even better by the fact that it happened during a fantastic workshop in Kisumu, Kenya, hosted by Maseno University, and organised by the American Institute of Mathematics (AIM). I’m going to write about our week and what we were doing there in particular, but you might also want to look at the official workshop announcement or the short summary by Maseno University.
This is a companion discussion topic for the original entry at https://topos.site/blog/2024-09-06-open-source-curriculum-workshop/