nLab
sheaf and 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

Category Theory

category theory

Concepts

Universal constructions

Theorems

Extensions

Applications

Contents

Idea

Topos theory is the part of category theory that studies categories which are toposes. This includes in particular Grothendieck toposes, i.e. categories of sheaves.

There are always two ways to think of topos theory: as being

References

Introductions

Introductions include

Textbooks

A standard textbook is

  • Peter Johnstone, Topos theory, London Math. Soc. Monographs 10, Acad. Press 1977, xxiii+367 pp.

This later grew into the more detailed

A quick introduction of the basic facts of Grothendieck topos theory is chapter I, “Background in topos theory” in

  • Ieke Moerdijk, Classifying Spaces and Classifying Topoi Lecture Notes in Mathematics 1616, Springer (1995)

A standard textbook on this case is

There is also

  • R. Goldblatt, Topoi. The categorial analysis of logic, Studies in Logic and the Foundations of Math. 98, North-Holland Publ. Co., Amsterdam, 1979, 1984; (Rus. transl. Mir Publ., Moscow 1983).

A gentle basic introduction is

A quick introduction of the basic facts of Grothendieck topos theory is chapter I, “Background in topos theory” in

  • Ieke Moerdijk, Classifying Spaces and Classifying Topoi Lecture Notes in Mathematics 1616, Springer (1995)

A survey is in

  • Ross Street, A survey of topos theory (notes for students, 1978) pdf

Course notes

History

Revised on November 3, 2012 10:27:25 by Tim Porter (95.147.236.209)
Edit | Back in time (21 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: category theory, groupoid, isomorphism, internalization, enriched category theory, sheaf and topos theory, Day convolution, anafunctor, morphism, category, object, group, equivalence, natural isomorphism, natural transformation, functor, topos, composition, subcategory, (-1)-category, discrete category, epimorphism, hypercover, stack, presheaf, skeleton, locally small category, fundamental groupoid, infinity-stack, monoid, Cat, Set, set, function, Ab, forgetful functor, faithful functor, full functor, category algebra, small category, functor category, monoidal category, enriched category, end, pseudomonic functor, endomorphism, Kan extension, automorphism, (infinity,1)-category, hom-set, subobject classifier, terminal object, finitely complete category, representable functor, subobject, diagram, limit, cone, multicategory, span, opposite category, hom-functor, global element, cartesian monoidal category, extensive category, cover, sieve, dinatural transformation, weak factorization system, simplicial object, zero object, initial object, cartesian closed category, locally cartesian closed category, simplex category, homotopy coherent category theory, (bo, ff) factorization system, orthogonal factorization system, essentially surjective functor, full and faithful functor, factorization system, internal category, arrow category, free functor, 2008 changes, projective object, Rel, nerve, image, allegory, geometric realization, regular category, regular epimorphism, Yoneda lemma, fundamental category, coherent category, Heyting category, kernel pair, exact category, pretopos, balanced category, adjoint functor, internally projective object, Yoneda embedding, Cauchy complete category, BrownAHT, pointed set, under category, coproduct, well-powered category, fibration, Grothendieck fibration, concrete category, endofunctor, monomorphism, orthogonality, Galois connection, strong epimorphism, split epimorphism, regular monomorphism, internal logic, finite object, complete category, colimit, intersection, span trace, reflective subcategory, trace, isofibration, string diagram, conservative functor, profunctor, subterminal object, simplicial presheaf, Grpd, retract, idempotent, free cocompletion, dagger-category, SimpSet, comma category, model structure on simplicial presheaves, overcategory, model structure on simplicial sheaves, split monomorphism, weak equivalence, equivalence of categories, connection on a cubical set, weighted limit, action of a category on a set, 1-groupoid, 1-category, ASSet, internal hom, constant morphism, partial order, disjoint union, quotient object, full subcategory, filtered category, pro-object, ind-object, category of elements, Postnikov system, FinSet, Isbell envelope, wedge sum, smash product, congruence, fundamental group of a topos, adjoint functor theorem, total category, large category, accessible category, sketch, locally presentable category, Categories and Sheaves, dense subcategory, cogenerator, stuff, structure, property, left adjoint, right adjoint, projective limit, generalized element, zero morphism, kernel, cokernel, Higher Topos Theory, universal construction, bimorphism, exact functor, cocone, Thomason model structure, strong monomorphism, strict epimorphism, pre-abelian category, additive and abelian categories, biproduct, direct product, (infinity,1)-category of (infinity,1)-sheaves, (infinity,1)-presheaf, (infinity,1)-topos, Sheaves in Geometry and Logic, group object, wide subcategory, injective object, infinity-stackification, closed monoidal structure on presheaves, functors and comma categories, abelian sheaf cohomology, cohomology, (infinity,1)-sheaf, decidable equality, Godement product, geometric infinity-function theory, co-Yoneda lemma, exact sequence, directed colimit, subquotient, derived stack, coreflective subcategory, topologizing subcategory, Gabriel multiplication, dependent product, quasicoherent sheaf, exponential object, calculus of fractions, monadic functor, distributive category, hypercompletion, category of simplices, (infinity,1)-category of (infinity,1)-presheaves, monoidal (infinity,1)-category, (infinity,1)-sheafification, constant infinity-stack, structured (infinity,1)-topos, motivation for sheaves, cohomology and higher stacks, flat functor, locally finitely presentable category, perfect infinity-stack, power object, algebra for an endofunctor, coimage, higher category theory and physics, split idempotent, coalgebra for an endofunctor, path category, Grothendieck construction, codiscrete groupoid, vector bundle, exponential ideal, (1,0)-category, replete subcategory, topological concrete category, core, gerbe, computer science, triangle identities, local model structure on simplicial presheaves, Eilenberg-Mac Lane object, Sweedler coring, model structure on sSet-enriched presheaves, essential image, adjoint equivalence, cosmos, nerve and realization, presentations of (infinity,1)-sheaf (infinity,1)-toposes, cup product, comonad, extremal monomorphism, generalized multicategory, geometry (for structured (infinity,1)-toposes), effective epimorphism, 2009 August changes, noetherian category, property sup, semisimple object, universal colimit, Karoubi envelope, Cartesian morphism, solution set condition, subfunctor, semicartesian monoidal category, Ieke Moerdijk, Saunders Mac Lane, internal relation, higher topos theory, single-sorted definition of a category, (sub)object classifier in an (infinity,1)-topos, (infinity,1)-topos - contents, n-localic (infinity,1)-topos, diagonal morphism, graph of a functor, cograph of a functor, inverse limit, direct limit, inductive limit, category theory - contents, Brown representability theorem, free groupoid, representable morphism of stacks, injective hull, strict category, homotopy groups in an (infinity,1)-topos, constant functor, tensor category, completion, Whitehead theorem, hypercomplete (infinity,1)-topos, regular and exact completions, finitely generated object, extranatural transformation, small presheaf, monadicity theorem, nPOV, bifibration, codomain fibration, Beck-Chevalley condition, species, sink, cokernel pair, internal category in a monoidal category, cograph of a profunctor, cofibration, cleavage, algebraic weak factorization system, open cover, inhabited object, covering, Grothendieck-Maltsiniotis infinity-category, adjoint triple, semifunctor, categorical homotopy groups in an (infinity,1)-topos, free object, schematic homotopy type, reflective sub-(infinity,1)-category, essentially unique, closed functor, applications of (higher) category theory, connected category, solid functor, Tannaka duality, sSet-site, model site, Como, canonical morphism, idempotent adjunction, semicategory, category of representations, constant sheaf, locally constant infinity-stack, constant stack, sub-(infinity,1)-category, (n,1)-topos, Postnikov tower in an (infinity,1)-category, category of presheaves, (infinity,1)-site, clique, topological localization, algebra for a profunctor, shape of an (infinity,1)-topos, Street fibration, internal logic of an (infinity,1)-topos, finite quantum mechanics in terms of dagger-compact categories, direct category, Conduche functor, tangent category, Whitehead tower in an (infinity,1)-topos, n-connected object of an (infinity,1)-topos, accessible functor, Hall algebra, forcing, parametric right adjoint, zigzag, hypercomplete object, composable pair, two-out-of-six property, exact square, geometric homotopy groups in an (infinity,1)-topos, C-star-category, Gabriel-Ulmer duality, embedding, Freyd cover, effective monomorphism, sifted category, groupal model for universal principal infinity-bundles, adjoint monad, thin category, (2,1)-sheafification, universal principal infinity-bundle, Freyd-Mitchell embedding theorem, indecomposable object, function algebras on infinity-stacks, indexed functor, (n-connected, n-truncated) factorization system, Lawvere distribution, poset of subobjects, split hypercover, comonadic functor, regular functor, coshape of an (infinity,1)-topos, associativity, type-theoretic definition of category, (2,1)-presheaf, zigzag category, essential fiber, codiagonal, very large (infinity,1)-sheaf (infinity,1)-topos, cartesian functor, topological groupoid, Topos, derived geometry, progroup, Haefliger groupoid, conical limit, (infinity,1)-quasitopos, (infinity,1)-geometric morphism, (infinity,1)Topos, concrete (infinity,1)-sheaf, locally representable structured (infinity,1)-topos, cofinal diagrams, (infinity,1)-topos theory, homotopy dimension, over-(infinity,1)-topos, fundamental infinity-groupoid of a locally infinity-connected (infinity,1)-topos, adjoint quadruple, diagonal functor, final subcategory, fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos, ring object, evaluation map, locally constant stack, Whitehead principle of nonabelian cohomology, indexed category, integral transforms on sheaves, two-sided fibration, proper topological groupoid, universally closed morphism, geometric realization of categories, Tannaka duality for Lie groupoids, simplicial Stein site, (2,1)-sheaf, pure morphism, adjoint lifting theorem, coherent functor, infinity-connected (infinity,1)-site, locally infinity-connected (infinity,1)-site, geometric infinity-stack, infinity-local site, cohomological dimension, factorization category, projection, strongly infinity-connected site, infinity-gerbe, totally infinity-connected site, (2,1)-site, Frobenius reciprocity, Handbook of Categorical Algebra, (infinity,2)-sheaf, geometric category, cartesian category, model structure for (2,1)-sheaves, separated (2,1)-presheaf, separated (infinity,1)-presheaf, complete small category, canonical presentation, two-out-of-three, categorical semantics, Poset, unital category, proadjoint, Frobenius functor, homotopy type theory, fiber functor, n-topos, umbrella category, internal subcategory, truncated object, pure subobject, totalization, contents of contents, locally presentable categories - introduction, indexed adjoint functor theorem, inertia orbifold, concrete object, abstract general, concrete general and concrete particular, factorization system over a subcategory, reflective factorization system, tensor, Mac Lane's proof of the coherence theorem for monoidal categories, M-complete category, saturated class of limits, stable factorization system, factorization structure, (epi, mono) factorization system, (eso+full, faithful) factorization system, (eso, fully faithful) factorization system, (infinity,2)-topos, filtered object, base (infinity,1)-topos, final lift, moduli stack, (infinity,1)-semitopos, locally cartesian closed functor, atomic category, strong adjoint functor, pushout-product, cartesian closed functor, codiscrete object, co-concrete object, dual object in a closed category, Cartan-Eilenberg category, presentation of a category by generators and relations, (n,1)-sheaf, relative adjoint functor, adhesive category, symmetric multicategory, category object in an (infinity,1)-category, Joyal-Tierney calculus, exactness property, elementary (infinity,1)-topos, sheaf of spectra, Segal condition, exhaustive category, (infinity,n)-sheaf, relation between type theory and category theory, categorical wreath product, locally bounded category, quotient stack, permutative category, distributivity pullback, projective presentation, Baer's criterion, tower, bifunctor, injective presentation, abelianization, gaunt category, computational trinitarianism, arity class, programming language, transfinite construction of free algebras, Tannakian category, rigidification of a stack, pointed endofunctor, dependent sum, model topos, (infinity,n)-topos, adjoint triangle theorem, separator, strict initial object, Toda bracket, mapping stack, equifibered natural transformation, van Kampen colimit