The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
1answer
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
1answer
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
0answers
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
6answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
3answers
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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
3answers
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
0answers
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
1answer
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
7answers
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
2answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
4answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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 ...