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 (Apr 05 2022 at 02:18):this Thursday at 17:00 UTC
Tim Hosgood (Apr 05 2022 at 02:18):Giuseppe Rosolini: When an elementary quotient completion is a quasitopos
The elementary quotient completion of an elementary doctrine generalises the exact completion of a category with finite products and weak equalisers. I intend to present a characterisation of those elementary quotient completions which produce a quasitopos. As a corollary one gets a characterisation of the elementary quotient completions which give an elementary topos. Our work is reminiscent of, and gathers ideas, from others: in particular, Carboni and Vitale’s characterisation of exact completions in terms of their projective objects, Carboni and Rosolini’s characterisation of locally cartesian closed exact completions, also in the revision by Emmenegger, and Menni’s characterisation of the exact completions which are elementary toposes. This is joint work with Maria Emilia Maietti and Fabio Pasquali.
Zoom: https://topos-institute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0QUhTdGhvZ3pUdz09
YouTube: https://youtu.be/9AyUEEeKUC8