## Classifying topos of topological categories (II)Add to your list(s) Download to your calendar using vCal - Sina Hazratpour (PhD) University of Birmingham
- Tuesday 21 November 2017, 14:00-16:00
- 245, School of Computer Science.
If you have a question about this talk, please contact Sina. I will continue the discussion of last week. In previous meeting, I reviewed Giraud’s theorem for Grothedieck toposes and gave two example of categories which we proved are indeed toposes by verifying that they satisfy Giraud’s axioms. I also recalled the notions of etale bundles and torsors and gave examples of each. I also constructed the classifying topos of G-torsors for a discrete group G. This week I will extend last week’s results to C-torsors where C is a topological category. We will see that the situation is a generalization of construction of classifying spaces in algebraic topology. Next, I will illustrate the construction of classifying toposes of topological categories (i.e. categories internal to Top, see [3]) and Deligne classifying toposes of topological categories (see [4]). For source-étale topological categories, the classifying topos and Deligne classifying topos are weakly homotopy equivalent. The proof of this appears in [5]. Special attention will be paid to classifying topos of the simplicial category. I will demonstrate that this topos classifies geometric theory of linear orders. [1] S. Mac Lane and I. Moerdijk, Sheaves in geometry and logic [2] Peter Johnstone, Topos theory [3] Graeme Segal, Classifying spaces and spectral sequences [4] P. Deligne, Théorie de Hodge III [5] I.Moerdijk, Classifying spaces and classifying topoi This talk is part of the Cargo series. This talk is part of the Cargo series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsdddd Computer Science Distinguished Seminar analysis## Other talksSchool Seminar Machine Learning and Dynamical Systems meet in Reproducing Kernel Hilbert Spaces The imprint of their explosions: Using supernova remnants to understand stellar death From 2nd to 3rd generation GW detectors |