The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
66 views

Sites for étale $G$-spaces

This is a problem Sheaves in Geometry and Logic by MacLane and Moerdijk (problem 3.10) Suppose we have a space $X$ on which a discrete group $G$ acts by homeomorphisms. Given an étale space $p:E ...
2
votes
1answer
76 views

Projective Objects in a Topos

I'm working a problem in MacLane and Moerdijk, and am not sure how to proceed. The end goal is to show that if $Sh(X)$ has enough projectives and $X$ is $T_1$, then $X$ has a basis of clopen sets. I ...
1
vote
1answer
60 views

1-1 correspondence between nuclei and regular monomorphisms of a locale

I am having a little trouble with Theorem 2.3 in Professor Johnstone's book on "Stone Spaces". The theorem depends on a Lemma (which I am not struggling with; I only include it for context) which ...
1
vote
1answer
69 views

What is an object classifier and how does give a natural numbers object?

According to a history of topos theory by McLarty, Blass (1989) showed that the existence of an object classifier over a given topos implies that the topos has a natural number object. What is an ...
0
votes
1answer
22 views

Surjection Vs Surjective geometric morphism

Is it true that a map between ${\bf T1}$ topological spaces $f:X \to Y$ is surjective iff the induced geometric morphism $f:Sh(Y) \to Sh(X)$ is a surjection (i.e. its inverse image part $f^*$ is ...
7
votes
0answers
158 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 ...
6
votes
0answers
137 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
74 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
98 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 ...
5
votes
0answers
200 views

The category of presheaves on a possibly-large category

Suppose $\mathcal{C}$ is a category such that for every $c \in \mathrm{Ob}(\mathcal{C})$, the slice category $\mathcal{C}/c$ is equivalent to a small category. I need to show that the category of ...
4
votes
0answers
46 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
82 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
102 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 ...
4
votes
0answers
72 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
160 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
98 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
30 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
54 views

A few questions concerning “universal colimits” and dense generating sets

My questions are triggered by Borceux, Vol 1, Proposition 4.5.6. The relevant part of the book is browsable on Google Books, but i'll go ahead and reproduce at least the statement here anyway: Let ...
3
votes
0answers
46 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
161 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
45 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
52 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
86 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?
2
votes
0answers
45 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
90 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
26 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
76 views

Can curvature be defined in Topos Theory?

I'm by no means an expert in either category theory or topos theory, but I'm trying to gain some perspective on traditional geometric ideas in this context. Topos theory claims that it is a geometric ...
1
vote
0answers
75 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
71 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
54 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
56 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 ...
0
votes
0answers
69 views

explicit proof of pullback stability of epics in a topos

As in Explicit construction of a initial object in a topos I'm looking an elementary proof of the fact that, in a topos, epimorphisms are stable under pullback or, equivalently, that images are ...