The topos-theory tag has no wiki summary.

**6**

votes

**1**answer

236 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

80 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 ...

**5**

votes

**2**answers

409 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

85 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

146 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

77 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

297 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

261 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

405 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

105 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 ...

**1**

vote

**0**answers

71 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 ...

**31**

votes

**6**answers

3k 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

72 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 ...

**12**

votes

**1**answer

328 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

289 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. ...

**1**

vote

**0**answers

110 views

### right adjoint functor for closed immersion of topoi

Let $i\colon (X,A)\rightarrow (Y,B)$ be a closed immersion of ringed topoi. Does functor $i_*\colon Mod(A)\rightarrow Mod(B)$ have a right adjoint?

**6**

votes

**1**answer

142 views

### Do non-subcanonical Grothendieck topologies always induce a category of fractions?

Suppose that $\mathscr{C}$ is a (possibly higher) category and $J$ is a Grothendieck topology which is not subcanonical. Denote the composite
$$\mathscr{C} \hookrightarrow ...

**2**

votes

**0**answers

56 views

### Sheaves, colimits and closure

I am considering the sheaf topos $\mathbf{Sh}(\mathfrak{X})$ on a topological space $\mathfrak{X}$.
Limits in this category are constructed pointwise, as in presheaves. Colimits, however, are not ...

**3**

votes

**0**answers

114 views

### When does prolongation preserve sheaves?

Suppose that $(C,J)$ and $(D,K)$ are two Grothendieck (possibly $\infty$-)sites and $f:C \to D$ is a functor such that $$f^*:Psh(D) \to Psh(C)$$ sends sheaves to sheaves. Under what conditions will ...

**5**

votes

**0**answers

99 views

### Non-degenerate limits of topoi

Let $\mathcal{E}$ be an elementary topos with natural numbers object $\mathbb{N}$, and let $\mathbb{C}$ be a cofiltered internal category in $\mathcal{E}$. Suppose we have a diagram of shape ...

**6**

votes

**1**answer

365 views

### What information is lost in $X \to \mathrm{Sh}(X)$?

Given a topological space or site $X$. Construct $\mathrm{Sh}(X)$ - the sheaves on $X$ with values in $\mathrm{Set}$. Is it known what information is lost in this procedure?
Thanks, Adrian.

**9**

votes

**2**answers

565 views

### Modern versions of Verdier's hypercovering theorem?

Let $\mathcal{C}$ be a small category equipped with a terminal object $1$ and a Grothendieck topology. (Assume $\mathcal{C}$ also has pullbacks, if it is more convenient.) The following is a ...

**12**

votes

**1**answer

391 views

### Is it possible for a theorem to be constructive only in a non-constructive metatheory?

There are several theorems in category-theoretic logic which say something like, "any proposition in X logic that is provable in topos logic assuming (the law of excluded middle and) the axiom of ...

**1**

vote

**0**answers

53 views

### Validity of equations in a topos bis

I clarify my previous question with a simple example. It is also a simpler (and more general) question whose resolution resolves the previous question on interpreting a theory in another.
The ...

**4**

votes

**3**answers

144 views

### Validity of equations in a topos

To simplify consider simple algebraic theories (universal algebra)
A and L, but the question applies to geometric theories.
1) Syntactically, we can interprete L in A if we can define the operations ...

**2**

votes

**1**answer

94 views

### Induced adjunctions

Suppose $F: C \rightarrow D$ is the left adjoint to a functor $G$. Then is it true that the functor $F^{\star}:[C : Sets]$ defined by prescomposing a functor $P: C \rightarrow Sets$ is still left ...

**17**

votes

**2**answers

543 views

### Internal logic of the topos of simplicial sets

I am looking for a closed statement (i.e. not depending on any parameter objects) which is true in the internal logic of the topos of simplicial sets, but is not an intuitionistic tautology. Ideally, ...

**6**

votes

**1**answer

135 views

### Do coherent toposes descend along open surjection?

Let $f:\mathcal{T} \rightarrow \mathcal{S}$ be a geometric morphism between two toposes. Let $g:\mathcal{L}\rightarrow \mathcal{S}$ be an open surjection (of toposes) and assume that the map ...

**3**

votes

**0**answers

157 views

### Is the collage of two spatial toposes a spatial topos?

Consider the collage operation along a profunctor, defined between two categories ${\bf C}, \bf D$.
Suppose now that the two categories are toposes, say $Sh(X), Sh(Y)$ for two topological spaces ...

**2**

votes

**0**answers

136 views

### Cloven Kan fibrations

For each groupoid $G$ there is a monad such that the cloven fibred groupoids over $G$ are algebras for this monad. I am looking for an infinite dimensional counterpart: a monad on simplicial sets ...

**6**

votes

**3**answers

446 views

### classifying $\infty$-toposes for topological/localic groups?

Let $G$ be a locally compact topological group (or more generally a localic group). Is there an infinity topos which classify principal $G$ bundles ?
More precisely, is there an $\infty$-topos $BG$ ...

**1**

vote

**0**answers

125 views

### Dedekind reals in heyting valued models

Let $V^{H}$ be a Heyting valued model of intuitionistic set theory. What conditions does $H$ have to satisfy in order for the following claim to hold? (where $\| \phi(u) \| \in H$ is the truth value ...

**8**

votes

**1**answer

615 views

### Analogy between topology and algebraic geometry

In topos theory, there are many generalizations of topological concepts. For example, open, closed, proper and etale morphisms between toposes. However, there are also such analogous concepts in ...

**12**

votes

**7**answers

726 views

### Examples of toposes for analysts

I've read that toposes are extremely important in modern mathematics, but I find the definitions and examples given on the nLab page a little too abstract to understand.
Can you provide some examples ...

**6**

votes

**2**answers

314 views

### Is there a measure / probability theory in a topos of “generalized measure spaces”?

Consider the category with the standard Lebesgue measure space $\Omega$ as its only object and measure type preserving nonincreasing (equivalence classes of) maps as morphisms.
Question: is there an ...

**1**

vote

**1**answer

113 views

### Is there a characterization of the topos of finite sets in the internal language?

The topos ${\mathcal{Set}}$, at least as axiomatized in ETCS, is a well-pointed topos that satisfies the axiom of choice and has a natural numbers object.
Is there a characterization of the topos ...

**9**

votes

**2**answers

299 views

### What properties do “large topoi” share with actual topoi?

Fix Grothendieck universes $\mathcal{U} \in \mathcal{V}$ and suppose that $C$ is a locally $\mathcal{U}$-small category which is $\mathcal{V}$-small. Denote by $Set$ the category of ...

**1**

vote

**0**answers

71 views

### Properties of the internal language of the category of sheaves

Consider a simple case of set-valued sheaves on some topological space $X$, $\operatorname{Sh}(X)$. All of these are Grothendieck toposes but clearly not all of them are equivalent.
Is there an ...

**5**

votes

**1**answer

438 views

### Is Logic/Set Theory necessary for studying Topos Theory?

I have just completed a postgraduate course, in which I studied Category Theory, without having a background in Set Theory and Logic - this probably already sounds absurd to many. This did not seem to ...

**3**

votes

**0**answers

68 views

### When is the localic reflection of a topos discrete?

Recall that the inclusion of locales into topoi has a left adjoint, called the localic reflection. It sends a topos $\mathcal{E}$ to the poset of subobjects of the terminal object, which is a locale. ...

**7**

votes

**1**answer

219 views

### Are topoi and etale geometric morphisms locally small?

This question is related to this one: Local smallness and (higher) topoi which has not yet been answered.
The $2$-category of topoi and geometric morphisms is not locally small. (As I mentioned in ...

**2**

votes

**0**answers

66 views

### Representing a small allegory in a tabular allegory?

Let $A$ be a small allegory (like in Freyd and Scedrov book, or in the Elephant of Johnstone), does it always exists a tabular allegory $B$ and a fully faithfull representation of $A$ in $B$ ?
I am ...

**6**

votes

**1**answer

141 views

### Which dense inclusions of sites are ∞-dense?

An inclusion of sites f: D→C is dense if it induces an equivalence between the categories of sheaves on C and D.
Likewise, f is ∞-dense is it induces an equivalence between the ∞-categories of ...

**3**

votes

**1**answer

378 views

### Does the internal axiom of choice imply Lagrange's theorem?

In a topos ${\mathcal{A}}$, given a group object $G$ and a subgroup $H$, the object $H\backslash G$ of right cosets is the coequalizer of two maps $G\times H\rightrightarrows G$, namely the group ...

**5**

votes

**4**answers

453 views

### Configuration topos?

Let ${\bf Fin}$ denote the category of finite sets. If $X$ is a topological space, then for any natural number $k\in{\mathbb N}$, the slice category ${\bf Fin}/X$ contains the configuration space ...

**9**

votes

**1**answer

343 views

### Local smallness and (higher) topoi

The $2$-category of topoi and geometric morphisms is not locally small. For example, if $A$ is the classifying topos for abelian groups, the category of geometric morphisms from $Set$ to $A$ is ...

**4**

votes

**0**answers

392 views

### Interaction petit topos - gros topos

I know that there are already several discussions on this topic (and they already helped me a lot, so far), but I couldn't find one completely solving my problem.
Question 1. Fix a scheme $X$. I know ...

**2**

votes

**0**answers

65 views

### Ex/reg toposes without generic monomorphisms

A generic monomorphism is a monomorphism of which every monomorphisms in the same category is a pullback; it is like a subobject classifier without uniqueness. I am looking for a locally Cartesian ...

**1**

vote

**1**answer

173 views

### Presheaves and Heyting Valued Models

I'm doing some reading on the relationship between the topos of pre-sheaves over a poset P, the topos of sheaves over the Heyting algebra H of sieves on P, and the Heyting valued model of ...

**6**

votes

**0**answers

239 views

### Generalizing prime numbers to product-indecomposable objects in toposes

Any object $A$ in any topos decomposes as $A\times1$ and $1\times A$, and in $FinSet$ objects with no other product decompositions are "prime numbers". Is there any extension of the theory of ...