The readings during this period are reflected in Notes on Topos Theory and Type Theory.

Translation of Bourbaki on Clifford algebras was ported to Forester on 07-22.