University of Birmingham > Talks@bham > Cargo > Weak toposes: part 2

Weak toposes: part 2

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

If you have a question about this talk, please contact Auke Booij.

After the development of Beck’s theorem that we discussed in the previous weeks, we are now ready to dive into weak toposes.

Every topos is a weak topos. We aim to prove that every weak topos is also a topos. Along the way, we will be able to show many properties of toposes: that they have finite colimits, epi-mono factorization, mono classification, that they are LCCC , disjointness of coproduct maps, every equivalence relation is effective.

This talk is part of the Cargo series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.