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

1
vote
0answers
12 views

Two questions on completely regular filters in locales

I'm reading the exposition of the Stone-Čech compactification for locales in Johnstone's book Stone Spaces. In Chapter IV Paragraph 2.2, Johnstone constructs the Stone-Čech compactification of a ...
2
votes
1answer
66 views

Covering by open subfunctors and epimorphisms of sheaves.

I am trying to learn about the functor of points approach to algebraic geometry. Given the category of locally ringed spaces $GSp$ (geometric spaces) we have a functor $$\mathcal{G}: GSp \to Set^{...
1
vote
0answers
39 views

“External” Lawvere-Tierney Topologies?

Suppose I have a map $j : \text{Sub}(1) \to \text{Sub}(1)$ from subterminal objects of a topos to themselves which satisfies analogous axioms to those of a Lawvere-Tierney topology, namely $j(1) = 1$, ...
0
votes
0answers
17 views

Universal Local Ring Object in the Zariski Topos

I am trying to understand the universal local ring object in the Zariski topos as explained in Sheaves and Geometry and Logic by Mac Lane and Moerdijk (page 451); but I am unable to penetrate the ...
3
votes
1answer
58 views

When the empty family of arrows to an object is epimorphic, that object must be initial?

Is it true that when the empty family of arrows to an object $E$ in some category is epimorphic, that object $E$ must be the initial object $0$? This is a claim on page 433 (eq. 22) of Mac Lane and ...
2
votes
1answer
27 views

Are intersections of essential sublocales essential?

A sublocale $X_j$ of a locale $X$, given by a nucleus $j : \mathcal{O}(X) \to \mathcal{O}(X)$, is called essential (sometimes also principal) if and only if the following equivalent conditions are ...
5
votes
1answer
62 views

Functor of points definition of a space modeled on a site

I'm trying to find a definition of a space modeled on a site which is: (i) plausible and natural in the context of general sites (ii) subsumes common examples. Let $(C,J)$ be a grothendieck site and $...
3
votes
0answers
36 views

Converse to pullback pasting and local diffeomorphisms

The nlab page on local diffeomorphisms gives the following two equivalent conditions for a smoonth function to be a local diffeomorphism. The derivative is an isomorphism of tangent spaces $df:T_xX\...
0
votes
0answers
42 views

Toposes in algebraic geometry

I know the definition of topos and read an introduction to algebraic geometry. I heard that topos is used for algebraic geometry and want to know detail. Where can I read about this?
1
vote
1answer
50 views

question about a theorem in Maclane-Moerdijk's “Sheaves in Geometry and Logic”

Like this questioner I am trying to understand the proof of Theorem 2 of Section 5, Chapter I, of MacLane-Moerdijk's "Sheaves in Geometry and Logic". I am wondering, how do you define the functor $L$...
3
votes
0answers
50 views

Extra hypotheses in proposition in Sheaves in Geometry and Logic?

In chapter I, section 9, proposition 5 in Mac Lane and Moerdijk's Sheaves in Geometry and Logic, it is stated that if $f : B' \to B$ is a morphism in a complete category $\mathcal{C}$ and the category ...
0
votes
0answers
29 views

Commutation of pullbacks with disjoint unions in sites?

From what I understand, in superextensive sites disjoint unions commute with pullbacks. I know this holds in every topos sense pullback has a right adjoint, and I have heard something along the lines ...
0
votes
0answers
30 views

Pulling back along surjective étale maps vs being “locally in $\mathcal M$” vs being “locally in $\Sigma \mathcal M$”

(Closely related) This question centers around section 6.5 of Borceux and Janelidze's Galois Theories. Definition 1. Let $\mathcal M$ be a class of arrows in a category (in our case $\mathsf{Top}$). ...
1
vote
1answer
31 views

What is the internal hom functor in the context of an internally projective object?

I am trying to understand the definition of an internally projective object from nLab. It says that an object $E$ of a topos $\mathcal{T}$ is called internally projective if the internal hom functor $...
3
votes
1answer
67 views

Effective equivalence relations in a topos

I have a question about Johnstone's proof (in either Topos Theory or the Elephant; the accounts are essentially the same, so far as I can tell) that internal equivalence relations in a topos are ...
4
votes
1answer
56 views

Concrete description of (co)limits in elementary toposes via internal language?

In the category of sets, limits and colimits can be concrete described respectively as subobjects of products and quotients of coproducts. It seems like these descriptions make sense in any ...
1
vote
2answers
113 views

Strange definition of spectrum?

The following is taken from these notes. Definition 2.8. Let $\mathscr E$ be some cartesian closed category and let $A$ be an $R$-algebra. The spectrum $\operatorname{Spec}_A(R[x_1,\dots ,x_n]/I)$ of ...
1
vote
0answers
17 views

Does there exist a topos whose terminal object is not a generator, and every injective morphism is monic?

Say that a morphism $f : X \to Y$ in a category is injective if, for each pair of parallel morphisms $x, x^\prime : 1 \rightrightarrows X$ from the terminal object, if $f \circ x = f \circ x^\prime$, ...
3
votes
2answers
79 views

subobject classifier for partial orders

Does the category of partial orders have a subobject classifier? (Edit: No, see Eric's answer.) If not, what is a category which is "close" to the category of partial orders (e.g. it should consists ...
1
vote
0answers
58 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?
7
votes
1answer
146 views

Could there be an “$n$-th root” of the category $\mathsf{Set}$?

Here is a thought experiment: Suppose we did not know what sets and functions are. The general idea of a topos is, that it somehow serves as a foundation for mathematics. So let there be an alternate ...
3
votes
0answers
34 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 ...
5
votes
0answers
51 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 ...
0
votes
1answer
58 views

Constructive proof that the Lie functor is faithful?

I am wondering how to show that the Lie functor taking Lie groups to Lie algebras is faithful? In particular, I am looking for a constructive proof, since I am working in the context of synthetic ...
3
votes
1answer
35 views

Internal semantics of a category based on a fixed topos.

I'm not certain as to how I should formulate this question; it might be considered a soft question. I am interested in finding a general way to take a category $\mathbb{C}$ and an (elementary) topos $...
3
votes
0answers
43 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
83 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 $...
5
votes
2answers
110 views

Description of generated Grothendieck topology

Let $C$ be a small category, and let $\tau$ be a set of sieves in $C$. Assume that $\tau$ contains all the maximal sieves, and is stable under pullbacks. How to describe the Grothendieck topology $\...
12
votes
0answers
184 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 ...
10
votes
0answers
99 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 $\...
1
vote
1answer
63 views

Covering sieves in a Grothendieck topology

I'm trying to get my head around some of the basics of Grothendieck topologies. Let $(\mathcal{C}, J)$ be a site, let $U$ be an object of $\mathcal{C}$ and let $J(U)$ be the set of covering sieves on ...
0
votes
0answers
34 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 P="...
2
votes
1answer
24 views

Replacement in a topos with an eye to a natural model of TST

TST is a typed first order set theory that is essentially the friendly, simple version of Russell's type theory. There are an infinite number of sorts indexed by the natural numbers, each variable ...
2
votes
1answer
84 views

Stack semantics for the layman

I am trying to read bits and pieces of Ingo Blechschmidt's notes on using the internal language of toposes in algebraic geometry. I have not studied the internal language. I only have a bare bones ...
0
votes
1answer
31 views

topos defined by sets

Let $C=Sets$ be the category/site of sets, equipped with the topology defined by surjective families. Why is the associated topos $T$ equivalent to the punctual topos $Sh(pt)\simeq Sets$? (This is ...
1
vote
0answers
17 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 "$\text{Sh}(C_{\...
1
vote
2answers
41 views

Enough injectives in a topos

In the category of sets, each nonempty set is injective since given a mono $A\ \rightarrowtail B$ and an arrow $A\rightarrow C$ we can lift to an arrow $B\rightarrow C$ by giving up injectivity : send ...
2
votes
0answers
42 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 ...
1
vote
0answers
43 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 ...
0
votes
1answer
36 views

When does an atomic topos have this property?

If $f:\mathbb{E}\to\mathbf{Set}$ is an atomic (or locally connected if you prefer) Grothendieck topos, when is it the case that the direct image functor $f_*:\mathbb{E}\to \mathbf{Set}$ is faithful?
3
votes
1answer
49 views

Finite Limits, Exponentiation and Sub-Object Classifiers imply Finite Co-Limits

I recently started studying topoi and the book I am using defines them as categories that have all finite limits and co-limits, exponentiation and sub-object classifiers. The book briefly remarks that ...
5
votes
0answers
78 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 ...
1
vote
0answers
32 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 ...
0
votes
1answer
76 views

Technical meaning of “profinite circle”

In a private exchange with a professional mathematician, I found the following statement: the "small etale topos" of a finite field is a "profinite circle", and thus looks like circle. Could anyone ...
2
votes
1answer
45 views

Is there another well-pointed elementary topos satisfying internal choice without natural numbers object?

Is there an elementary topos which Is well-pointed Satisfies the internal axiom of choice Does not have a natural numbers object; and Is not the category of finite sets?
1
vote
1answer
51 views

subobject classifier and characteristic arrow in presheaf topos

I'm reading the page 54 of this pdf but don't understand the definition of characteristic arrow in $\text{Set}^{\mathbb{C}^{\text{op}}}$. Assume that $F, G \in \text{Set}^{\mathbb{C}^{\text{op}}}$, $...
1
vote
0answers
95 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 $\...
2
votes
0answers
84 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}$ ...
0
votes
1answer
40 views

A question on a property of geometric morphisms related to locales.

Is the "localic reflection" of a geometric morphism between topoi the same thing as its "localic part"?
1
vote
1answer
56 views

Is this assignment of the topos of sheaves functorial?

Let $\mathcal{C}$ be a site and for any object $X$ of $\mathcal{C}$ denote by $\text{Sh}(X)$ the category of sheaves on the site $\mathcal{C}/X$. My question is, what can we say about this assignment? ...