![]() |
![]() |
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 listsanalysis Reading Group in Combinatorics and Probability computer sienceOther talksPerfect matchings in random sparsifications of Dirac hypergraphs Quantum simulations using ultra cold ytterbium Sensing and metrology activities at NPL, India Hodge Theory: Connecting Algebra and Analysis Ultrafast, all-optical, and highly efficient imaging of molecular chirality Modelling uncertainty in image analysis. |