University of Cambridge > Talks.cam > Category Theory Seminar > Perfect toposes and infinitesimal weak generation

Perfect toposes and infinitesimal weak generation

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Tamara von Glehn.

In his 2007 paper on axiomatic cohesion, Bill Lawvere introduced a notion of `weak generation’ of a topos by a family of objects, which has not been much investigated until recently. Last year Matias Menni showed that every sufficiently coherent topos (in Lawvere’s sense) is weakly generated by objects which are `infinitesimal’ in the sense that they are not-not-singletons. We show that weak generation by infinitesimals is equivalent to a much simpler (and older) notion, that of being perfect, which arose out of Peter Freyd’s work on the Cantor coderivative.

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity