Higher Topos Theory

Keywords

Topos theory, Formalism (music), Category theory, Mathematics, Theoretical physics

References

• Sheaves In Geometry And LogicSaunders Mac Lane, Ieke Moerdijk — 1992
• Vers une axiomatisation de la théorie des catégories supérieures.Bertrand Toën — 2005
• Sur quelques points d'algebre homologiqueE. Dean J. Avigad, J. Mumma — 2009
• The Finiteness Obstruction of C. T. C. WallK. Varadarajan — 1989
• Cohomologie non abélienneJean Giraud — 1971
• Coherence of tricategoriesRobert P. Gordon, John Power, Ross Street — 1995
• Rigid analytic geometry and its applicationsJean Fresnel, Marius van der Put — 2003
• Cech and Steenrod Homotopy Theories with Applications to Geometric TopologyDavid A. Edwards, Harold M. Hastings — 1976
• Etale Homotopy of Simplicial Schemes.Eric M. Friedlander — 1982
• Unstable Modules over the Steenrod Algebra and Sullivan's Fixed Point Set ConjectureLionel Schwartz — 1994
• Simplicial Homotopy TheoryPaul G. Goerss, John F. Jardine — 2009
• On the classification of 2-gerbes and 2-stacksLawrence Breen — 1994
• Homotopy Limit Functors on Model Categories and Homotopical CategoriesWilliam Dwyer, Philip Hirschhorn, Daniel M. Kan — 2005
• Spectral Theory and Analytic Geometry over Non-Archimedean FieldsVladimir G. Berkovich — 1990
• Théorie des Topos et Cohomologie Etale des SchémasJ. L. Verdier, B. Saint-Donat, Alexandre Grothendieck — 1972
• Model categories and their localizationsPhilip Hirschhorn — 2003
• Resolutions of unbounded complexesN. Spaltenstein — 1988
• Lectures on Hilbert Cube ManifoldsThomas Chapman — 1976
• Etale Cohomology and the Weil ConjectureEberhard Freitag, Reinhardt Kiehl — 1988
• On non-strict notions of n-category and n-groupoid via multisimplicial setsZouhair Tamsamani — 1995

Cited by

• Stacks and their function algebras.Herman Stel — 2011
• Overconvergent global analytic geometryFrédéric Paugam — 2014
• Noncommutative mixed (Artin) motives and their motivic Hopf dg algebrasGonçalo Tabuada — 2014
• Algebras over ∞-operadsGijs Heuts — 2011
• Koszul duality for locally constant factorization algebrasTakuo Matsuoka — 2014
• A note on commutative algebras and their modules in quasicategoriesSaul Glasman — 2014
• The Cobordism Hypothesis in Dimension 1Yonatan Harpaz — 2012
• Frobenius and the derived centers of algebraic theoriesW. G. Dwyer, Markus Szymik — 2014
• Homology groups of types in stable theories and the Hurewicz correspondenceJohn Goodrick, Byunghan Kim, Alexei Kolesnikov — 2014
• Smooth one-dimensional topological field theories are vector bundles with connectionDaniel Berwick-Evans, Dmitri Pavlov — 2015
• A looping-delooping adjunction for topological spacesMartina Rovelli — 2015
• A model structure on internal categories in simplicial setsGeoffroy Horel — 2014
• Rectification of enriched infinity-categoriesRune Haugseng — 2013
• A non‐commutative model for higher twisted K‐theoryUlrich Pennig — 2015
• A general context for Goodwillie CalculusLuís Alexandre Pereira — 2013
• Factorization homology of stratified spacesDavid Ayala, John Francis, Hiro TANAKA — 2014
• The simplicial EHP sequence in 𝔸1–algebraic topologyKirsten Wickelgren, Ben Williams — 2014
• HIGHER CHERN-SIMONS GAUGE THEORYEmanuele Soncini — 2015
• Chromatic Fracture CubesAntolín-Camarena, Omar, Tobias Barthel — 2014
• A-infinity functors and homotopy theory of dg-categoriesGiovanni Faonte — 2014

Related papers

• Homotopy Limits, Completions and LocalizationsA. K. Bousfield, Daniel M. Kan — 1987
• Symmetric spectraMark Hovey, Brooke Shipley, Jeff Smith — 1998
• Higher Topos Theory (AM-170)Jacob Lurie — 2009
• The homotopy theory of dg-categories and derived Morita theoryBertrand Toën — 2004
• A model category structure on the category of simplicial categoriesJulia E. Bergner — 2004
• The geometry of iterated loop spacesJ. P. May — 1972
• Categories for the Working MathematicianSaunders Mac Lane — 1971
• Algebras and Modules in Monoidal Model CategoriesStefan Schwede, Brooke Shipley — 1998
• Quasi-categories and Kan complexesAndré Joyal — 2002
• Simplicial localizations of categoriesW. G. Dwyer, D Kan — 1980