![]() |
![]() |
Weak toposes: part 2Add 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. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsOptimisation and Numerical Analysis Seminars SERENE Group Seminar Series Postgraduate Seminars in the School of Computer ScienceOther talksQuantum Sensing in Space Counting cycles in planar graphs Bases for permutation groups Width parameters and the maximum independent set problem TBA TBA |