Travel Plans

• ItaCa 2025. 22-23 Dec (25).

• Types 2026. 4 - 8 May (26).

• TACL 2026 (?). 6 - 10 July (26).

Slides

• Call doctrines by your name.

  CT25, Brno, July 2025.

• The geometry of coherent topoi and ultrastructures.

  CT23, Louvain la Neuve, Jul 2023.

• Bi-accessible and bipresentable 2-categories.

  PSSL106, Brno, May 2022.

• Givant, Morley, Zilber.

  ItaCa21, Genova, Dec 2021.