Topos@4

This picture from the first blog post of the Topos Institute celebrates the official opening of Topos in Jan 2021.  Topos already existed then, but  it seems nice to celebrate from that picture, which is  4 years and 3 months old, give or take a few days. Many things happened in these years and I find it instructive to go over some of what has happened to me and my research. It is also humbling to go over my stand up notes from all these years: the many things I wished I had done, I thought I wo