You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Hosgood (Jul 19 2021 at 15:13):Thursday, 22nd of July, 17:00 UTC
Abstract:
Monoidal topology may be seen as being inspired by some visionary remarks in Hausdorff‘s „Grundzüge der Mengenlehre“ of 1914, and it takes its modern lead from two distinct seminal contributions of the early 1970s: the Manes-Barr presentation of topological spaces in terms of ultrafilter convergence axioms, and Lawvere’s presentation of metric spaces as small categories enriched in the extended non-negative half-line of the reals. Both types of spaces become instances of small so-called (T,V)-categories, where T is a Set-monad and V a (commutative) quantale, i.e. a small, thin and (symmetric) monoidal-closed category. The setting therefore allows for a general study of „spaces“ that combines geometric and numerical aspects in a natural way.
In this talk we present some key elements of the theory and its applications, showing in particular how the strictification and inversion of some naturally occurring inequalities in this lax-monoidal setting leads to interesting topological properties and unexpected connections. Time permitting, we will also point to some on-going and future work in the area.
YouTube: https://youtu.be/3Ollbf-jOdY
Zoom: https://topos-institute.zoom.us/j/5344862882?pwd=Znh3UlUrek41T3RLQXJVRVNkM3Ewdz09