The topos-theory tag has no usage guidance.

**9**

votes

**3**answers

395 views

### “Spatial (geometrical)” realization of Elementary topos?

It is well known that (Grothendieck) Topos (in fact, Model topos too) has many good geometrical properties. In many senses reflects general forms of generic geometry.
Note: Grothendieck view of Topos ...

**9**

votes

**0**answers

146 views

### Is there any notion of “smoothification” from $\mathbb{R}$-schemes to generalized smooth spaces?

I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor ...

**5**

votes

**1**answer

126 views

### Is the analytification functor part of a geometric morphism of topoi?

Let $Sh(\mathsf{\mathbb{C}-fAlg}^{op})$ be the topos of zariski sheaves on finitely genertaed $\mathbb{C}$-algebras.
A complex analytic space for our purpose is a locally ringed space locally ...

**1**

vote

**1**answer

633 views

### Problems in some parts of Monique Hakim thesis?

In "Reminiscences of Grothendieck and his school" Luc Illusie says:
"I heard from Deligne that there were problems in some parts. (of Monique Hakim thesis).
Topos annelés et schémas relatifs, ...

**28**

votes

**1**answer

2k views

### Grothendieck says: points are not mere points, but carry Galois group actions

Apologies in advance if this question is too elementary for MO. I didn't find an explanation of these ideas in any algebraic geometry books (I don't know French).
The following is an excerpt from ...

**4**

votes

**2**answers

170 views

### Which Heyting algbras arise out of some elementary topos which satisfies the ultrafilter principle?

It is known that AC implies LEM constructively, and also that AC implies the ultrafilter principle. Is there a similar relationship between the ultrafilter principle and classical logic? In other ...

**2**

votes

**0**answers

145 views

### Toward Axiomatic sheaf theory? (References)

It is known that one of Lawvere and Tierney's goals was to provide an axiomatic approach to sheaves. Their notion of elementary topos constituted a preliminary step in that respect.
Question: Has ...

**15**

votes

**1**answer

169 views

### Descent of Higher categorical structures along geometric morphisms

Let $f: \mathcal{E} \rightarrow \mathcal{T}$ be a geometric morphism between two (Grothendieck) toposes (or maybe more generally a bounded geometric morphism between elementary toposes).
It is well ...

**23**

votes

**1**answer

393 views

### Is Lemma D4.5.3 in the Elephant correct? (“In a topos, weakly projective implies internally projective.”)

Lemma D4.5.3 of Johnstone’s Sketches of an Elephant states:
Lemma. For an object $A$
of a topos $\newcommand{\E}{\mathcal{E}}\E$, the following are equivalent:
$A$ is internally ...

**15**

votes

**1**answer

360 views

### A nice subcategory of the category of measurable spaces

Is there some notion of "nice" measurable spaces and "nice" maps between them which satisfies the following properties?
The real line equipped with the Lebesgue $\sigma$-algebra is nice.
Any ...

**3**

votes

**0**answers

46 views

### Resources on a smooth topos containing complex analytic/holomorphic geometry

In this question Urs Schreiber mentioned there are models in synthetic differential geometry of complex analytic geometry.
First of all: When Urs writes complex analytic geometry, does he mean ...

**4**

votes

**1**answer

143 views

### Lie functor preserves “surjections” in synthetic differential geometry?

In classical finite-dimensional differential geometry, the Lie functor preserves surjections, sending a surjective Lie group homomorphism to a surjective Lie algebra homomorphism.
As pointed out ...

**6**

votes

**1**answer

259 views

### Jets in synthetic differential geometry

As I understand it from Kostecki's notes, the $k$-jet $j^k f$ of a function $f: R^n \to R^m$ should be the map $$f^{D_k(n)} : {(R^n)}^{D_k(n)} \to (R^m)^{D_k(n)},$$
where $$D_k(n) = \{(x_1, \ldots, ...

**13**

votes

**1**answer

462 views

### Axiom of choice as zero dimensionality

In the paper Quantifiers and Sheaves by Lawvere, at the bottom of the second page, the author writes:
"... the condition that every epi splits, which geometrically we would call 0-dimensionality ...

**19**

votes

**1**answer

634 views

### Variant of Conceptual Completeness

Let $\mathcal{C}$ and $\mathcal{D}$ be pretopoi, and let $f: \mathcal{C} \rightarrow \mathcal{D}$ be a pretopos functor (that is, a functor which preserves finite coproducts, finite limits, and ...

**28**

votes

**0**answers

707 views

### Grothendieck's “List of classes of structures”

In Lawvere's article Comments on the Development of Topos Theory, the author writes:
Similarly, Grothendieck and others unerringly recognized which kinds of mathematical structures are 'preserved ...

**21**

votes

**1**answer

870 views

### A geometric theory of Blueprints? (Algebras over the field with one element)

In my attempt to tackle the various approaches of defining algebraic geometry over $\mathbb F_1$, I was just reading through Lorscheid's paper The geometry of blueprints. I certainly like the idea a ...

**5**

votes

**0**answers

275 views

### What is an Elementary “Homotopy, Model” Topos?

Context:
Def (Rezk): A (Grothendieck) homotopy topos is a homotopy left exact Bousfield localization of the model category of simplicial presheaves sPsh(C) on a small simplicial category C.
Thm ...

**4**

votes

**0**answers

113 views

### Topos Theory, internal Heyting Algebra

Given a topos $\mathcal{E}$ with subobject classifier $\Omega$.
If we denote by $N\Omega$ the former of all local operators on $\Omega$, that is, Lawvere–Tierney topologies of $\mathcal{E}$, it is ...

**1**

vote

**0**answers

139 views

### Coinduction in a presheaf topos?

Fix a presheaf topos $\mathcal{E}\triangleq \mathbf{Set}^{\mathcal{C}^\mathsf{op}}$. Then, for any object/presheaf $X:\mathcal{E}$, I can define the presheaf of relations on $X$ as ...

**14**

votes

**1**answer

339 views

### Joyal's construction of the spectrum of a commutative ring

I am trying to understand bits and pieces of Lawvere's article Continuously Variable Sets; Algebraic Geometry = Geometric Logic. I'm not doing very well.
I know this is a lot to ask, but basically, I ...

**3**

votes

**0**answers

62 views

### smooth topos as generalized smooth space

I'm interested in generalized smooth spaces. I know there are several spaces such as Deffeological space, Frölicher space, Chen space, etc... and there are some papers compare them. However, I haven't ...

**8**

votes

**1**answer

204 views

### Geometric morphism of $\infty$ topos

I have a very simple question regarding geometric morphisms of $\infty$ topoi, but have been unable to find the answer in Lurie's HTT (although it seems likely that its there somewhere and I just ...

**0**

votes

**1**answer

71 views

### A confusion about covering flatness

I'm reading this entry on nLab. But I'm confusing with the notion of covering-flatness. More precisely, I meet some trouble when I try to show that the $Sets$-valued flatness is a special case of ...

**5**

votes

**0**answers

86 views

### Finite covers in complex analytic geometry

Given a complex manifold or complex analytic space, one has the standard notion of open set. There are two different Grothendieck topologies that one can define using this notion, one where covers ...

**5**

votes

**0**answers

154 views

### Making the conceptual leap from locales to Grothendieck topologies?

I find the definition for locales and sheaves on locales to be straightforward, but I'm stumbling over the idea of a Grothendieck topology. Is there a nice way to see roughly how the latter ...

**8**

votes

**0**answers

69 views

### W-types and inverse image functor

All sheaf topoi have W-types and in fact there's an explicit construction given by Benno van den Berg & Ieke Moerdijk, but the construction is quite involved.
I would like to know whether the ...

**1**

vote

**0**answers

240 views

### Why do some people adamantly insist on 'toposes' instead of 'topoi'? [closed]

I've heard that several category and topos theorists, first and foremost Johnstone (see the comments to this question) adamantly insist on 'toposes' as the plural of 'topos'. I was wondering whether ...

**16**

votes

**3**answers

420 views

### Brouwer's theorem for the Cauchy reals

Brouwer famously proved, using principles motivated by intuitionistic choice sequences, that every function $\mathbb{R}\to \mathbb{R}$ is continuous. In Sheaves in geometry and logic (section VI.9), ...

**6**

votes

**1**answer

196 views

### Grothendieck toposes in (very) weak foundation

There is on the nLab page "Grothendieck topos" a part about the theory of Grothendieck toposes in weak foundation.
It claims that the equivalence for a category between the Giraud's axioms and being ...

**35**

votes

**2**answers

938 views

### The formal p-adic numbers

The real numbers can be defined in two ways (well, more than two, but let's stick to these for now): as the Cauchy completion of the metric space $\mathbb{Q}$ with its usual absolute value, or as the ...

**1**

vote

**1**answer

104 views

### Can hypercompletion be an essential localization?

The subcategory of hypercomplete objects in an ∞-topos is a left-exact-reflective subcategory by the remarks after 6.5.2.8 of Higher topos theory, i.e. its inclusion functor has a left-exact left ...

**6**

votes

**1**answer

311 views

### Can hypercomplete objects be coreflective?

The subcategory of hypercomplete objects in an ∞-topos is a left-exact-reflective subcategory by the remarks after 6.5.2.8 of Higher topos theory. Can it ever happen that this subcategory is ...

**1**

vote

**1**answer

252 views

### Etale cohomology and topological invariance

Let $X$ be a projective scheme and $X_0 \subset X$ a subscheme defined by a nilpotent ideal. Denote by $i:X_0 \to X$ the closed immersion. Let $\mathcal{F}$ be a locally free sheaf sheaf on ...

**1**

vote

**0**answers

76 views

### a topos without an underlying boolean topos

I remember an example of a topos that does not have an underlying Boolean topos.
My problem is, I cannot find where I saw it.
The solution is supposed to have Setf and Set, and the objects of the ...

**7**

votes

**1**answer

300 views

### Ordinals in constructive mathematics ? (references)

I'm looking for references presenting a constructive treatment of the theory of ordinals. By constructive I mean valid in the internal logic of a topos (so no axiom of choice and no law of excluded ...

**0**

votes

**0**answers

98 views

### Representing topoi by topological groupoids

i was reading an article written by Butz and Moerdijk (https://www.math.uu.nl/publications/preprints/984.ps.gz) and i have a problem in understanding their proof of theorem $5.1$ (The one in which ...

**6**

votes

**2**answers

481 views

### When is the category of small (pre)sheaves a(n elementary) topos?

When $C$ is essentially small, the presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is the free cocompletion of $C$. The presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is also a topos.
When $C$ is ...

**1**

vote

**0**answers

97 views

### is sufficient cohesion equivalent to the connectedness of subobject classifier?

I'm following Lawvere article Axiomatic Cohesion.
He states (Proposition VI.4) that sufficient cohesion is equivalent to the connectedness of subject classifier, but I can't follow the proof. I can't ...

**2**

votes

**0**answers

173 views

### Relationship between coherent toposes/coherent logic and coherent sheaves

I've heard it claimed that the adjective "coherent" in logic/topos theory (i.e. coherent logic, coherent toposes, coherent categories) was adopted to fit in with the terminology of coherent sheaves in ...

**1**

vote

**0**answers

81 views

### Cohomology of discrete group with compact support

This is closely related to a previous question on the topic, but hopefully adds some motivation.
Let $G_{/\mathbf Q}$ be a semisimple group, $K\subset G(\mathbf R)$ a maximal compact subgroup, and ...

**8**

votes

**2**answers

368 views

### Definition of internal field objects

Let $\mathcal{C}$ be a category with finite limits and a strictly initial object $\mathbf{0}$. The final object is denoted by $\mathbf{1}$. I propose the following definition of a field object ...

**12**

votes

**0**answers

311 views

### The topos for forcing in computability theory

My understanding is that forcing (such as Cohen forcing) can be described via a topos. For example this nlab article on forcing describes forcing as a "the topos of sheaves on a suitable site."
My ...

**6**

votes

**1**answer

597 views

### Existence of internal toposes/inner models in a topos

It has been known for some time that one can define a topos as a model of a (finitary) essentially algebraic theory (or in other words, can be defined internal to any category with finite limits). In ...

**5**

votes

**1**answer

116 views

### Site dependance of the Cech weak equivalences on simplicial sheaves

Let $\mathcal{T}= sh(C,J)$ a Grothendieck topos of sheaves over a (ordinary) site.
One endows the category of simplicial presheaves over $C$ with the "Rezk-Lurie" model structure: that is we start ...

**2**

votes

**0**answers

88 views

### Relationship between tangent spaces and tangent categories for smooth topoi

Let $\mathscr E$ be a smooth topos, where I am using the terminology of nLab. In particular that imples the existence of a line object $R$ and an "infinitesimally thickened point", which is an object ...

**36**

votes

**6**answers

4k views

### Synthetic vs. classical differential geometry

To provide context, I'm a differential geometry grad student from a physics background. I know some category theory (at the level of Simmons) and differential and Riemannian geometry (at the level of ...

**2**

votes

**0**answers

84 views

### A dual notion to Lawvere-Tierney operators for geometric surjections?

A geometric embedding into a Grothendieck topos can be characterised by giving the Lawvere-Tierney topology that induces it. This lets us reduce questions about subtoposes to more elementary ...

**13**

votes

**1**answer

466 views

### The real numbers object in Sh(Top)

If $X$ is a sober topological space, the real numbers object in the topos $\mathrm{Sh}(X)$ is the sheaf of continuous real-valued functions on $X$. This is proven very explicitly in Theorem VI.8.2 of ...

**4**

votes

**1**answer

324 views

### Atlas of a manifold as a Sheaf

--Hopefully this question does not dublicate another--
In this question Tom Goodwillie pointed out, that the 'atlas part' of
the definition of a smooth manifold can be redefined in terms of
sheaves. ...