Talks

Topos colloquium - A generalised family construction for virtual double categories - 1st September 2026 (Video), (Slides)

Last updated: November 2025