Oxford Seminar

The Topos Oxford Seminar is a weekly, informal seminar, hosting informal talks that are broadly aligned with the research themes of the Topos Institute. You can find links to the recordings of the talks, or accompanying slides, (when available) below. You can also view a YouTube playlist of all recordings.

Open translations in mathematics

Tim Hosgood (Topos)
Mar 20, 2025

Neural certificates

Mirco Giacobbe (University of Birmingham)
Mar 13, 2025

Recording

Element Model Type Theory

Owen Lynch (Topos)
Mar 6, 2025

Recording

A next-generation modular and compositional framework for System Dynamics modeling and beyond

Xiaoyan Li (Topos)
Feb 27, 2025

Recording Slides

Charles Peirce, inference, and category theory

David Corfield (University of Kent)
Feb 20, 2025

Recording Slides

Markov semigroups

Owen Lynch (Topos)
Feb 14, 2025

Recording

What 2-algebraic structure do cartesian pseudo-functors preserve?

David Jaz Myers (Topos)
Jan 31, 2025

Recording
No matching items