A topos (plural topoi, toposes) is a category that behaves like the category of sheaves of sets on a topological space. Topos theory consists of the study of Grothendieck topoi, used in algebraic geometry, and the study of elementary topoi, used in logic.

learn more… | top users | synonyms

20
votes
0answers
416 views

How much set theory does the category of sets remember?

Question. Let $M$ be a model of enough set theory. Then we can form a category $\mathbf{Set}_M$ whose objects are the elements of $M$ and whose morphisms are the functions in $M$. To what extent is ...
11
votes
0answers
143 views

How does the internal language of a topos come to be?

There are several books and articles on topos theory which mention the internal language, but I can't manage to see the big picture from any of them. I would like a soft explanation of how the ...
8
votes
0answers
83 views

Category-theoretic properties of cardinals

Let $\kappa$ be a cardinal, let $\mathbf{H}_\kappa$ be the set of hereditarily $\kappa$-small sets, and let $\mathbf{Set}_{< \kappa}$ be the full subcategory of $\mathbf{Set}$ corresponding to ...
7
votes
0answers
94 views

What are the universally effective epimorphisms of topological spaces?

An effective epimorphism in a category is a morphism that is the coequaliser of its kernel pair, and a universally effective epimorphism is a morphism $f : X \to Y$ such that, for every pullback ...
7
votes
0answers
233 views

What does category theory say about chains of set inclusions $\dots\in c\in b\in a$?

I'm currently trying to understand to what extend a set theory like ZFC can be mirrored within category theory, i.e. topos theory. What appears as an obstacle to me is the axiom of regularity, which ...
7
votes
0answers
166 views

Why are injective $\mathscr{O}$-modules flasque?

Let $X$ be a topological space, and let $\mathscr{O}$ be a sheaf of rings on $X$. It is easy to verify that the functor $\Gamma (U, -) : \textbf{Mod}(\mathscr{O}) \to \textbf{Ab}$ is representable, ...
5
votes
0answers
47 views

Notation for inhabited sets

A set $X$ is called inhabited if it has some element. In classical mathematics, this means that it is not the empty set, so that one usually writes $X \neq \emptyset$. However, in intuitionistic ...
5
votes
0answers
67 views

What are some topos-theoretic insights about $G$-sets?

Since a $G$-set is just a functor $G\longrightarrow \mathsf{Set}$, the category of $G$-sets seems to be a simple example of a topos. What are some topos-theoretic insights into $G$-sets? Insights ...
5
votes
0answers
181 views

If one knows Homotopy Type Theory, what is the easiest way to learn Higher Topos Theory?

Just read Lurie's book? Do there exist any papers which explain higher topos theory with an audience of homotopy type theorists in mind?
5
votes
0answers
100 views

Essential geometric morphism seen topologically

I know that any geometric morphism between toposes of sheaves on spaces $f^*\colon Sh(X)\leftrightarrows Sh(Y)\colon f_*$ comes from a continuous map $f\colon X\to Y$. But what does it mean for $f$ ...
5
votes
0answers
115 views

Freyd's Geometric Finiteness : An Example Computation

In his paper "Numerology in Topoi" available here: http://www.tac.mta.ca/tac/volumes/16/19/16-19abs.html Peter Freyd defines an object $A$ in a topos $\mathcal{E}$ to be geometrically finite if ...
4
votes
0answers
60 views

Relationship between differential cohesion and synthetic differential geometry

I was wondering what is the relationship between differential cohesion and synthetic differential geometry? I know the basics of synthetic differential geometry from Kock's text, but I am not ...
4
votes
0answers
80 views

Equivalent definitions of regular categories?

maybe this is a stupid question, but I could not solve it after some time of meditation. There are four different notions of regular categories: 1) A cartesian category with coequalizers of kernel ...
4
votes
0answers
139 views

Some questions about synthetic differential geometry

I've been trying to read Kock's text on synthetic differential geometry but I am getting a bit confused. For example, what does it mean to "interpret set theory in a topos"? What is a model of a ...
4
votes
0answers
66 views

Presheaves in a quasi-topos.

I do believe it is a trivial question. But unfortunately I don't know where I can find an answer. Where could I find the answer to the following question? If $S$ is a small category and $X$ is a ...
4
votes
0answers
95 views

Defining “Penon Infinitesimals”.

In this lecture (which is accompanied by these slides), right near the end (so page 9 in the pdf of the slides; I don't think you have to watch the lecture), P. Johnstone refers to the "Penon ...
4
votes
0answers
80 views

Products of sites

Does the category of sites (i.e. small categories equipped with a Grothendieck topology) has products? Is there a connection to the product of locales (as discussed in Johnstone's Stone spaces, ...
4
votes
0answers
169 views

Where else has Proposition B1.3.17 in the Elephant been proved?

This is a sort of reference request. Proposition B1.3.17 in Johnstone's Elephant reads: Proposition 1.3.17 Let $\mathcal{S}$ and $\mathcal{T}$ be categories with pullbacks, $F \colon \mathcal{S} ...
4
votes
0answers
107 views

Is $(f_*A)\times B\to f_*(A\times f^*B)$ an iso in a elementary topos?

One can easily show by adjunction-nonsense that if we are given toposes $\cal E,F$ and a geometric morphism $f\colon \cal E\to F$ then there exist canonical arrows $$ \begin{gather} (f_*A)\times ...
3
votes
0answers
22 views

Moving from sheaves over spaces to sheaves over sites

The first example of a sheaf that I have consciously come across is the sheaf of continuous (real) functions on some topological space. The fact it is a sheaf is equivalent to the pasting lemma, which ...
3
votes
0answers
38 views

Is every topos equivalent to a full subtopos of U-small objects in another topos?

Let $\mathcal{E}$ be a topos, and $\mathcal{U}$ an $\mathcal{E}$-universe (as discussed on this nLab page). Let $\mathcal{E}_\mathcal{U}$ be the full subcategory of $\mathcal{U}$-small objects in ...
3
votes
0answers
78 views

Examples of toposes in which the Axiom of Determinacy holds.

I just stumbled upon the Axiom of Determinacy which is an axiom in set theory - inconsistent with the Axiom of Choice, consistent with the Axiom of Dependent Choice, that states that for every subset ...
3
votes
0answers
44 views

Equivalence of Modules

The category of modules over a ring can be viewed as an enriched version of an action of a monoid on a set (see nLab entry). Moreover, if $R$ is a commutative ring, the category of modules over it is ...
3
votes
0answers
53 views

Motivation of Strong Monics

Strong monics are defined as: A monic $m$ is strong iff every commutative square $mu=ve$, in $E$ with $e$ epi, has a diagonal i.e. there is a morphism $t$ such that $u=te$ and $v=mt$ in $E$. (where ...
3
votes
0answers
70 views

Is there a topos-like category that classifies regular subobjects?

A quasi-topos is a category that characterised by being finitely complete and finitely cocomplete that is also locally cartesian closed and has a strong sub-object classifier. A topos is finitely ...
3
votes
0answers
186 views

Does the restriction functor (big to small) commute with the inverse functor?

I would like to know whether the restriction functor commutes with the inverse image functor. (I basically follow the terminology in "Topological and Smooth Stacks".) Let $X$ be a topological space. ...
2
votes
0answers
38 views

Gerbes and Brauer group

Let $µ$ be a sheaf of abelian groups on a site $C$. There is a bijection between isomorphism (equivalence) classes of µ-gerbes over $C$ and $H^2 (C, µ)$. Can someone give me a good reference for the ...
2
votes
0answers
76 views

About the relation between the categories $\text{Sch}$, $\text{LRS}$ and $\text{RS}$

I've been trying to find some useful categorical facts about the category of schemes, locally ringed spaces and ringed spaces (that I shall denote by $\text{Sch}$, $\text{LRS}$ and $\text{RS}$ ...
2
votes
0answers
40 views

Subobject classifier in $Sets^{Q}$

Let Q be the linearly ordered set of rational numbers considered as a category while $R^{+}$ is the set of reals with $\infty$. In $Sets^{Q}$,prove that the subobject classifier $\Omega$ has ...
2
votes
0answers
56 views

When defining a Grothendieck pretopology,can we get away with less than the fibre product axiom?

$\newcommand\restr[2]{{\left.#1\right|_{#2}}}$ I'm fairly new to this whole area, so correct me if there are any technical errors in any of this. The base category for a classical sheaf is the ...
2
votes
0answers
97 views

Grothendieck Topology on the Category of Elements

We are given a site $(C, J)$ for a small category $C$ and a Grothendieck topology $J$. If $F\in Sh(C, J)$, we take the natural topology $J_F$ on its category of elements $el(F)$ induced by $J$. I am ...
2
votes
0answers
36 views

The closure of the graph of a certain composite in a topos.

Let $\mathcal{E}$ be an elementary topos with subobject classifier $\Omega$ and let $j\colon \Omega\to\Omega$ be a Lawvere-Tierney topology on it. Assume that, for an object $C$ of $\mathcal{E}$, each ...
2
votes
0answers
87 views

dense generators and left Kan extensions

Here is an exercise from Borceux, Handbook of Categorical Algebra I, p 174: Consider a category $\mathfrak{C}$, a family $(G_i)_{i \in I}$ of objects of $\mathfrak{C}$ and the corresponding full ...
2
votes
0answers
106 views

Studying Galois Cohomology from Category Theory.

I am a masters student with background in Category Theory - I also know some Topos Theory. I would like to ask if you think it would be possible to start studying Galois Cohomology without any ...
2
votes
0answers
56 views

Why $F^{+}$ is a monopresheaf?

I'm having difficult in proving that given a site $(C, J)$, then $F^{+}(c) = colim_{R \in J(c)} R $ is a monopresheaf, in the sense that there exists at most one lifting of $R \longrightarrow F^{+}$ ...
2
votes
0answers
131 views

Is there a topos in which the natural numbers object are the finite dimensional vector spaces?

I recall reading somewhere that there is a topos in which the Dedekind reals are exactly the measurable functions. Now vector spaces are prominently characterised by dimensionality. This prompted the ...
2
votes
0answers
36 views

Are lax kernel pairs stable under change of base?

The question is immediate for kernel pairs, but when we work in a category enriched in posets, like the category of locales is, are the lax kernel pairs stable under change of base, or since perhaps ...
1
vote
0answers
29 views

Is there a reasonable Grothendieck topology on the category of modules over a ring?

How about over a field (i.e. f.d vector spaces)? Can these categories be considered as a site?
1
vote
0answers
16 views

I want to prove that $\text{Sh}(C_{\mathbb{T}},J)$ is the classifing topos for the theory of $\mathbb{T}$-local algebras.

Let $\mathbb{T}$ be a essentially algebraic theory, $C_{\mathbb{T}}$ be its syntactic category and $J$ be a subcanonical coverage on $C_{\mathbb{T}}$ Then, I want to understand why ...
1
vote
0answers
36 views

'Smooth' p-adic analysis (perhaps via toposes)

There are sensible theories of analytic functions on non-Archimedean fields (rigid analytic spaces, Berkovich spaces), but these are modeled after complex analysis. I'm curious to what extent there ...
1
vote
0answers
27 views

Is the reflector $\mathcal{E} \rightarrow \text{Sep}_j \mathcal{E}$ left exact? (j is a local operator)

According to Mac Lane & Moerdijk, Ch V, Ex 4, the left adjoint $\mathcal{E} \rightarrow \text{Sep}_j\,\mathcal{E}$ of the inclusion is left exact, but the proof is left as an exercise for the ...
1
vote
0answers
69 views

What is the “internal language of a topos”?

What does the sentence "[...] these statements should be interpreted, of course, in the internal language of the topos $\mathcal{E}$" mean, in the context of, say, the definition of a groupoid in ...
1
vote
0answers
40 views

Can I define a site as a category endowed with a pretopology instead of a topology?

If $K$ is a pretopology on a category $\mathcal{C}$ and $J$ the topology it induces, are the Grothendieck toposes $\text{Sh}(\mathcal{C},K)$ and $\text{Sh}(\mathcal{C},J)$ the same in general? As I ...
1
vote
0answers
50 views

Subobjects(A) $\cong \operatorname{Hom}(A,\Omega)$ in a topos is a natural transformation?

Let $C'$ be the category with objects $C$ and morphism the monic morphisms of $C$. In any topos, $\phi_A: \operatorname{Sub}(A) \cong \operatorname{Hom}_C(A,\Omega)$ and $\phi_A(m) = \chi_m$. This ...
1
vote
0answers
46 views

Subobject classifier in $Set^{C^{op}}$

I'm reading "Sheaves in geometry and logic" and I'm not sure if i'm understanding some definitions. We have our functor $\Omega$ defined on objects by $\Omega(C)$$=\{$$S|$ $S$ is a sieve on C in ...
1
vote
0answers
114 views

Compare étale morphisms in Top and Schemes

Perhaps because I find the algebraic definition of étale morphisms (of schemes) hard to approach, I'm trying to bootstrap from my understanding of étale morphisms of topological spaces. In topological ...
1
vote
0answers
126 views

Plus construction of sheafification as a colimit of presheaves.

In Sheaves in Geometry and Logic, Moerdijk and Mac Lane construct the associated sheaf on a site $(\mathcal C, J)$ of a presheaf $P$ as $$ a(P) = (P^+)^+ ,$$ where $P^+$ is defined pointwise as ...
1
vote
0answers
95 views

Equivalence of groupoids induced by a G-torsor

I'm struggling again with Joyal-Tierney's "Strong stacks & classifying spaces", and in the proof of the main theorem of the paper, where stacks are characterized as internal groupoids $\mathbb G$ ...
1
vote
0answers
65 views

A sheaf of cumulative hierarchies

I've recently read a paper about sheaf forcing in which a sheaf of cumulative hierarchies was defined (defintion 5.3 on page 30). The same object is described in this English paper (defintion 3.1 on ...
0
votes
0answers
30 views

What does it mean for a topos to be “generated” by some kind of objects?

Is there a universal definition of what that phrase should mean? Suppose we are considering objects of a topos with a particular property, call them $P$-objects (I have in mind the case where ...