nLab
higher topos theory

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

(∞,1)-Topos Theory

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

structures in a cohesive (∞,1)-topos

Contents

Idea

Higher topos theory is the generalisation to higher category theory of topos theory. It is partly motivated by Grothendieck’s program in Pursuing Stacks.

More generally, the concept (n,r)-topos is to topos as (n,r)-category is to category.

Rather little is known about the very general notion of higher topos theory. A rich theory however exists in the context of (∞,1)-categories.

Just as the archetypical example of an ordinary topos (i.e. a (1,1)-topos) is Set – the category of 0-categories – so the ∞-category of n-categories or at least of n-groupoids should form the archetypical example of an (n+1,1)-topos.

References

Revised on October 24, 2012 16:00:28 by Mike Shulman (192.16.204.218)
Edit | Back in time (9 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: HomePage, classifying topos, category theory, higher category theory, differentiable stack, foundation of mathematics, mathematics, sheaf and topos theory, topos, Diff, sheaf, presheaf, site, group theory, generalized smooth space, set, CartSp, ETCS, Grothendieck topos, differential geometry, infinity-topos, subobject classifier, Heyting algebra, global element, geometry, noncommutative geometry, (n,r)-category, cover, sieve, Grothendieck topology, Lawvere-Tierney topology, Klein 2-geometry, topology and geometry, geometric morphism, locale, Heyting category, pretopos, Elephant, (infinity,n)-category, internal logic, Jacob Lurie, coverage, Grothendieck pretopology, subcanonical coverage, large site, classifying space, constructive mathematics, predicative mathematics, Isbell envelope, fundamental group of a topos, frame, Categories and Sheaves, Grothendieck's Galois theory, noncommutative algebraic geometry, set theory, universe in a topos, Higher Topos Theory, abelian sheaf, local isomorphism, base change, category of sheaves, sheafification, category of open subsets, dense monomorphism, Sheaves in Geometry and Logic, 2009 March changes, ringed site, direct image, inverse image, rational homotopy theory, mathematicscontents, cohomology, natural numbers object, geometric infinity-function theory, co-Yoneda lemma, representation theory, D-module, quasicoherent sheaf, ringed space, Verdier site, simplicial model for weak omega-categories, structured (infinity,1)-topos, perfect infinity-stack, derived smooth manifold, geometric embedding, synthetic differential geometry, algebraic stack, topological stack, higher category theory and physics, algebraic space, separated presheaf, Erlangen program, quasitopos, orbifold, orbispace, stalk, point of a topos, Galois theory, numerable open cover, stratifold, concrete sheaf, effective topos, geometry (for structured (infinity,1)-toposes), big and little toposes, formally smooth morphism, Models for Smooth Infinitesimal Analysis, differential topology, math blogs, flabby sheaf, Gelfand spectrum, algebraic variety, diffiety, infinity-space, space, soft sheaf, fine sheaf, analytic geometry, 2009 September changes, normalizer, formal scheme, algebraic group, higher topos theory, A Survey of Elliptic Cohomology, derived algebraic geometry, higher geometry - contents, higher geometry, generalized scheme, Structured Spaces, Deligne-Mumford stack, (sub)object classifier in an (infinity,1)-topos, localic topos, (0,1)-topos, locally ringed space, cotangent complex, structure sheaf, topos theory - contents, Q-category, moduli space, 1-topos, pentagon decagon hexagon identity, proper map, derived noncommutative geometry, rigid analytic geometry, derived scheme, geometric stack, ringed topos, A Survey of Elliptic Cohomology - elliptic curves, smooth topos, Kock-Lawvere axiom, Euclidean geometry, group scheme, Charles Rezk, ionad, Hopf algebroid, etale morphism of schemes, small presheaf, geometric theory, canonical topology, Johnstone's topological topos, fully formal ETCS, open cover, little site, inhabited object, logical functor, concrete site, bounded geometric morphism, 2-topos, etale map, schematic homotopy type, quotient space, locally connected geometric morphism, etale geometric morphism, locally constant sheaf, fpqc site, DistLat, open map, Loc, global section, essential geometric morphism, category of presheaves, Isbell duality, subtopos, Bourbaki, D-geometry, mathematical physics, Klein geometry, G-structure, connected topos, forcing, smooth manifold, locally connected topos, good open cover, big site, topological locale, frame of opens, gauge group, double negation, posite, Diaconescu's theorem, base topos, homotopy equivalence of toposes, Artin stack, localic geometric morphism, hyperconnected geometric morphism, indecomposable object, function algebras on infinity-stacks, coherent coverage, poset of subobjects, line object, affine line, math resources by individuals, spin geometry, cohesive (infinity,1)-topos, Topos, derived loop space, derived geometry, local geometric morphism, strongly connected site, cohesive topos, math archives, math resources, math institutions, totally connected geometric morphism, locally connected site, spectral action, locally representable structured (infinity,1)-topos, Barr's theorem, (infinity,1)-topos theory, anabelian geometry, intuitionistic mathematics, Galois topos, morphism of finite type, projective stack, local site, constructive Gelfand duality theorem, van Kampen theorem for toposes, surjective geometric morphism, 2-topos theory, cosheaf, derived moduli space, dg-geometry, Lawvere interval, formally etale morphism, etale site, strongly connected topos, over-topos, topos of algebras over a monad, projective space, Tannaka duality for geometric stacks, locally ringed topos, little etale topos, formally unramified morphism, geometric infinity-stack, standard site, D-scheme, fppf site, connected site, (geometric surjection, embedding) factorization system, crystalline site, regular coverage, Handbook of Categorical Algebra, dense sub-site, atlas, small-generated site, locally algebra-ed topos, syntactic site, morphism of finite presentation, cartesian site, Bohr topos, tangent complex, atomic geometric morphism, syntactic category, coherent topos, regular topos, homogeneous space, internal site, indexed topos, geometric transformation, Planet Math, n-topos, what to contribute, Gelfand duality, higher Klein geometry, higher geometric quantization, history of mathematics, internal sheaf, non-commutative analytic space, real numbers object, contents of contents, higher Cartan geometry, Hadwiger's theorem, higher symplectic geometry, n-plectic form, differential graded manifold, dg-scheme, derived differential geometry, moduli stack, deformation context, formal moduli problem, regular representation, higher differential geometry, proper geometric morphism, open geometric morphism, (hyperconnected, localic) factorization system, Berkovich space, Artin gluing, bump function, topos of types, Giraud's theorem, string^c 2-group, stratified space, closed cover, separated geometric morphism, unbounded topos, structure, plus construction on presheaves, sheaf of meromorphic functions, type II geometry, formal loop space, morphism of sites, faithful representation, sheaf of abelian groups, realizability topos, motivation for higher differential geometry, field (physics), predicative topos, Galois cohomology, folklore, practical foundation of mathematics, higher noncommutative geometry, Hilbert's sixth problem, higher Atiyah groupoid, noncommutative topology