Weak toposes: part 2

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

• Auke Booij (UoB)
• Tuesday 18 October 2016, 14:00-16:00
• 217, School of Computer Science.

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.

This talk is included in these lists:

• 217, School of Computer Science
• Cargo

Note that ex-directory lists are not shown.