slides from my talk at the Topos Institute Colloquium - View it on GitHub