By: Dr. Finn Lindgren, The University of Edinburgh
An elementary higher topos is a higher category that is defined using only elementary conditions, yet behaves similar to the category of spaces. The goal of this talk is to illustrate this connection by proving classical results from algebraic topology in this abstract setting. Concretely, we will use the fact that it satisfies descent, which a kind of a local-to-global condition, to construct natural number objects. This allows us to use inductive arguments. Using induction, we will then construct truncations and show that we can also prove the Blakers-Massey theorem.
By: Nima Rasekh
By: Dr. David Kraus, Masaryk University