Travel Plans

• Categorical Logic and Higher Categories. 16 - 19 December (24).

• Category Theory 2025. 14 - 19 July (25).

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.