26
$\begingroup$

According to Higher Topos Theory math/0608040 a topos is

a category C which behaves like the category of sets, or (more generally) the category of sheaves of sets on a topological space.

Could one elaborate on that?

$\endgroup$
4
  • 2
    $\begingroup$ I seem to remember that, during his Part III course on topos theory, Peter Johnstone was adamant that the plural of 'topos' was 'toposes', not 'topoi'. I see he's fighting a losing battle. $\endgroup$
    – HJRW
    Apr 3, 2010 at 22:04
  • 21
    $\begingroup$ I mentioned this to my supervisor once, quoting Johnstone's line that when going for walks in the country you don't carry hot refreshments in "thermoi". His response was "but how often do you need more than one?" $\endgroup$
    – Yemon Choi
    Apr 4, 2010 at 19:19
  • 2
    $\begingroup$ I guess What Is...a Topos? by Luc Illusie should be relevant, $\endgroup$ Aug 17, 2020 at 9:48
  • $\begingroup$ People have also been known to have conflicting opinions about how to pronounce "topoi" in English. $\endgroup$ Feb 10 at 11:52

6 Answers 6

39
$\begingroup$

There are two concepts which both get called a topos, so it depends on who you ask. The more basic notion is that of an elementary topos, which can be characterized in several ways. The simple definition:

An elementary topos is a category $C$ which has finite limits and power objects.

(A power object for $A$ is an object $P(A)$ such that morphisms $B \to P(A)$ are in natural bijection with subobjects of $A \times B$, so we could rephrase the condition "$C$ has power objects" as "the functor $Sub(A \times -)$ is representable for every object $A$ in $C$").

The issue with the simple definition is that it doesn't show you why these things are actually interesting. It turns out that a great deal follows from these axioms. For example, $C$ also has finite colimits, exponential objects, has a representable limit-preserving functor $P: C^{op} \to Doct$ where $Doct$ the category of Heyting algebras such that if $f: A\times B \to A$ is the projection map for some objects $A$ and $B$ in $C$, then $P(A) \to P(A\times B)$ has both left and right adjoints considered as a morphism of Heyting algebras, etc etc. What the long-winded definition boils down to is "an elementary topos the the category of types in some world of intuitionistic logic." There's an incredible amount of material here; the best place to start is probably MacLane and Moerdijk's Sheaves in Geometry and Logic. The main reference work is Johnstone's as-yet-unfinished Sketches of an Elephant, but I certainly wouldn't start there.

The other major notion of topos is that of a Grothendieck topos, which is the category of sheaves of sets on some site (a site is a (decently nice) category with a structure called a Grothendieck topology which generalizes the notion of "open cover" in the category of open sets in a topological space). Grothendieck topoi are elementary topoi, but the converse is not true; Giraud's Theorem classifies precisely the conditions needed for an elementary topos to be a Grothendieck topos. Depending on your point of view, you might also look at Sheaves in Geometry and Logic for more info, or you might check out Grothendieck's SGA4 for the algebraic geometry take on things.

$\endgroup$
4
  • $\begingroup$ No object identifier? I am not a category theorist. So, take this with a grain of salt. $\endgroup$ Mar 14, 2010 at 13:09
  • 9
    $\begingroup$ If by "object identifier", you mean "subobject classifier", then this follows from finite limits and power objects; specifically, the power object of the empty finite limit (i.e., of the terminal object) is a subobject classifier. $\endgroup$ Mar 14, 2010 at 23:32
  • 2
    $\begingroup$ Indeed. I never actually read the definition, I just sat through years of Lawvere and Schanuel's seminars. They always included it in their list of properties. $\endgroup$ Mar 19, 2010 at 3:23
  • 1
    $\begingroup$ This is an old answer. I converted some of the math to latex, hopefully without changing the meaning. $\endgroup$ Feb 10 at 16:53
19
$\begingroup$

I would tend to think that in Charley's reply above the sentence

There are two concepts which both get called a topos, so it depends on who you ask.

is misleading. As Charley mentions himself afterwards, a Grothendieck topos (a category of sheaves) is a special case of the general notion of topos. It's not like there is a conflict in terms.

One may even consider further special cases that go further in the direction from general toposes to things that look more like topological spaces: the next step are the localic toposes, which are those that are categories of sheaves on categories of open subsets of a topological space.

This, in turn, is seen in higher topos theory (search the keywords on the nLab, I can't post more than one link here, unfortunately) as the beginning of an infinite hierarchy of n-localic oo-toposes: 0-localic toposes are like ordinary topological spaces, while as the n in n-localic increases they become more and more objects in "derived geometry". Again, search the nLab for these keywords for more on that.

$\endgroup$
3
  • 7
    $\begingroup$ I know this is a very old answer, but I would very much disagree that elementary topoi are a generalization of Grothendieck topoi. In fact, while it's true that every Grothendieck topos is an elementary topos, morphisms between Grothendieck topoi are not the same thing as morphisms between the corresponding elementary topoi. So the two categories are rather different! (for this reason I consider the name "elementary topos" rather unfortunate -- it would have been better to choose a name that did not have any connection to a notion of "space"). $\endgroup$ Jul 27, 2020 at 9:31
  • $\begingroup$ More precisely, geometric morphisms between Grothendieck topoi are different from logical morphisms, which also extent to elementary toposes. Which of these to use depends on the application. Historically, elementary toposes were conceived as axiomatizing the minimal set of properties satisfied by Grothendieck toposes which are actually needed for "doing intuitionistic mathematics internally" to it. This point of view is amplified by most recent developments of homotopy type theory ncatlab.org/nlab/show/elementary+%28infinity%2C1%29-topos $\endgroup$ Jul 27, 2020 at 10:36
  • 1
    $\begingroup$ This part of the post: "higher topos theory (search the keywords on the nLab, I can't post more than one link here, unfortunately)". I assume that the claim that you can only post one link is no longer true - as you have enough reputation now. I wasn't sure whether you wanted to link to this page: Higher Topos Theory. Maybe you wanted to add also some links in the rest of the paragraph. So I decided to post a comment rather then to edit the post myself. $\endgroup$ Aug 17, 2020 at 8:12
13
$\begingroup$

Let us concentrate on Grothendieck topoi. As mentioned in earlier posts, these are those topoi which arise as the category of sheaves for a category equipped with a Grothendieck topology. These are those topoi which "behave the most like sheaves of sets on a topological space". Let me try to explain to what extent Grothendieck topoi are topological in nature.

First, given a continuous map f:X->Y, it produces a geometric morphism Sh(X)->Sh(Y). If X and Y are sober, then there is a bijection between Hom(X,Y) and Hom(Sh(X),Sh(Y)) (where the later is again geometric morphisms). This means, if we restrict to sober spaces, we get a fully faithful functor Sh:SobTop->topoi. (Recall via stone duality that the category of sober spaces is equivalent to the category of locales with enough points).

More generally, if G is a topological groupoid (a groupoid object in Top), we can construct its classifying topos. This can be defined as follows: Take the enriched nerve of G to obtain a simplicial space, applying the functor "Sh" (viewing the nerve as a diagram of space) and obtain a simplicial topos. Now take the (weak) colimit of the diagram to obtain a topos BG. This topos can be described concretely as equivariant sheaves over G_0.

Geometrically, BG is a model for the topos of "small sheaves" over the topological stack associated to G. In fact, on etale topological stacks* (this include all orbifolds), we also have an equivalence between maps of stacks and geometric morphisms between their categories of sheaves, so, there is a subcategory (sub-2-category) of Grothendieck topoi which is equivalent to etale topological stacks. These Grothendieck topoi are called topological etendue.

*(over sober spaces)

It turns out that a large class of topoi can be obtained as BG for some topological groupoid. In fact, every Grothendick topos "with enough points" is equivalent to BG for some topological groupoid. The more general statement is that EVERY Grothendieck topos is equivalent to BG for some localic groupoid (a groupoid object in locales). Since locales are a model for "pointless topology", we see in some sense, every Grothendieck topos is "topological". You can make sense of the statement that every Grothendieck topos is equivalent to the category of small sheaves on a localic stack.

$\endgroup$
0
11
$\begingroup$

The entry nLab: topos provides some more details and in particular provides further links, also to material on higher toposes.

Urs Schreiber

$\endgroup$
6
$\begingroup$

As Charley mentions, topoi have many nice properties, and since a topos is something which looks like sheaves of sets on a Grothendieck site, it should be clear why a topos theory would be useful. In his book, Lurie develops, among other things, a theory of infinity-topoi, of which perhaps the main example of interest is sheaves of topological spaces on a Grothendieck site. This case is already extremely interesting.

One of the reasons why we might want to consider "sheaves of topological spaces" is because we want to obtain a construction of tmf ("topological modular forms"), which is the "universal elliptic cohomology theory". An elliptic cohomology theory is a cohomology theory (in the sense of Eilenberg-Steenrod) which is associated to an elliptic curve. By the Brown representation theorem, a cohomology theory can be identified with a spectrum (in the sense of homotopy theory), which is a sequence of topological spaces satisfying some properties. So, following this very rough reasoning, we should have a sheaf (or maybe a presheaf, but we can sheafify) of topological spaces (or rather spectra) over the moduli stack of elliptic curves. Then we would like to take global sections of this sheaf to obtain the universal elliptic cohomology theory tmf. To make all of this precise, it helps to have a good theory of sheaves of topological spaces on a Grothendieck site, and in turn a good theory of infinity-topoi. See Lurie's paper "A survey of elliptic cohomology" for some more details on this.

$\endgroup$
0
$\begingroup$

There is another way of seeing (Grothendieck) topos (maybe it could be helpful):

une construction (non conventionnelle) du topos de l’espace $X$ (i.e. d’une catégorie qui est naturellement équivalente à la catégorie des faisceaux sur $X$ (qui n’utilise pas directement la notion de faisceaux). Pour cela, soit $Pr(X)$ la catégorie des préfaisceaux d’ensembles sur l’espace topologique $X$. Dans cette catégorie on considère l’ensemble $W$ des morphismes qui induisent des isomorphismes fibre à fibre, et on forme la catégorie $W^{-1}Pr(X)$, obtenue à partir de $Pr(X)$ en inversant formellement les morphismes de $W$. On peut alors vérifier que $W^{-1}Pr(X)$ est naturellement équivalente à la catégorie des faisceaux sur $X$. Il faut remarquer que les objets de $W^{-1}Pr(X)$ sont les préfaisceaux sur $X$, mais ses ensembles de morphismes sont en réalité isomorphes aux ensembles de morphismes entre faisceaux associés.

Vers une interprétation Galoisienne de la théorie de l'homotopie, B Töen

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.