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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Perfect toposes and infinitesimal weak generation

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Average on weekdays: 9171.15374332 kWh Nursing Essay Writing Service Institute of Metabolic Science (IMS), Level 4 ATC, Seminar rooms 1,2 & 3

Other talks

John Kendrew Lecture - Title TBC Illegal trade in the North Atlantic Title to be confirmed Title to be confirmed TBC Animating urbanism: the demotic multiplicities of seeing cities digitally
 

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