Travel Plans

• Research visit in Tallin. 6 - 10 May (24).

• Logic Colloquium 24. 24 - 28 June (24).

• TACL 24. 1 - 5 July (24).

Yes, I will not show up at the Category Theory conference in 2024.
Cool things happen around the world. Click on the clock to stay tuned.

Slides

• The geometry of coherent topoi and ultrastructures.

  CT23, Louvain la Neuve, Jul 2023. Footage.

• Bi-accessible and bipresentable 2-categories.

  PSSL106, Brno, May 2022.

• Givant, Morley, Zilber.

  ItaCa21, Genova, Dec 2021. Footage.

• Enriched Locally Generated Categories.

  MUNI Algebra Seminar, Zoom, November 2020. Footage.

• Formal Model Theory & Higher Topology.

  Pittsburgh’s HoTT Seminar, Zoom, October 2020.

• The Scott adjunction.

  CT19, Edimburgh, July 2019.

• The shape of water: Homotopical algebra and set functors.

  MPI invited talk, Bonn, November 2018.

• An axiomatic approach to Gabriel-Ulmer duality.

  CT18, Ponta delgada, July 2018.