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

4
votes
1answer
106 views

Verifying a Construction Satisfies the $\Omega$-axiom.

I'm stuck on Exercise 4.5.1 of Goldblatt's, "Topoi: A Categorial Analysis of Logic". It's in the topos $\mathbf{Bn}(I)$ of bundles over a set $I$. Goldblatt asks the reader to verify that $\tag{1}$ ...
4
votes
0answers
66 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 ...
3
votes
0answers
53 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
3answers
216 views

Learning the topology needed for topos theory.

I have just started learning topos theory and I am going through Mac Lane and Moerdijk's book, "Sheaves in Geometry and Logic". I have, unfortunately, very little experience with topology. I started ...
1
vote
0answers
120 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 ...
7
votes
2answers
203 views

The dense topology

The definition of the dense topology confuses me. If $C$ is a category and $X \in C$, a sieve $S$ on $X$ is a covering for the dense topology iff for every $f : Y \to X$ there is some morphism $g : Z ...
2
votes
0answers
89 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 ...
5
votes
1answer
156 views

Are there any non-trivial finite elementary topoi?

Title basically says it all: are there any finite topoi (that is, finite set of objects, finite hom-objects) other than $\textbf{1}$ (the terminal category) and $\textbf{2}$ (the category $\ast ...
6
votes
1answer
136 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 ...
2
votes
0answers
121 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 ...
4
votes
1answer
90 views

Quantificators vs pullbacks

Let $\mathscr C$ be a cartesian category with subobject classifier $\Omega$ and generic subobject $\tau:I\to\Omega$. Consider the following pullback square: $\require{AMScd} \begin{CD} P @>{\bar ...
4
votes
4answers
119 views

How do you work with infinitesimal exponents in synthetic differential geometry?

I just read this paper by Andrej Bauer, which discusses the basic tenets of synthetic differential geometry. Namely, that for any function $f$, any real number $x$, and any infinitesimal $\epsilon$ (a ...
0
votes
1answer
44 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 ...
2
votes
1answer
137 views

Toposes and Stone-type dualities

The duality between the category Sets and the category CABool of complete atomic boolean algebras is an example of a general Stone-type duality. At the same time, Sets is a topos. Are there other ...
2
votes
2answers
55 views

Precomposition with a faithful functor

If $F: C \rightarrow D$ is a faithful functor, then is the precomposition with $F$ functor $F^{\star}:[D:\mathbf{Set}] \rightarrow [C:\mathbf{Set}]$ faithful?
3
votes
2answers
128 views

How do you see that this diagram is a pullback square?

I am trying to understand why the left-hand square of the diagram below (in a topos) is a pullback, where $\Delta_B$ is the diagonal map, $\delta_B$ is clearly the characteristic map of $\Delta _B$ ...
4
votes
0answers
96 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 ...
1
vote
1answer
38 views

Properties of the $[S,Sets]$, where $S$ is small

I am very new to topos theory and am interested in a couple little properties of a certain elementary topos. Suppose $S$ is a small concrete category. Then I was wondering.. which of there ...
2
votes
1answer
156 views

Every Presheaf Is Colimit of Representables

I am working on the proof that each presheaf $F\in \mathbf{Set}^{\mathcal C^{op}}$ is the colimit of $\mathbf{y}\circ \pi\colon \int_{\mathcal{C}}F\to \mathbf{Set}^{\mathcal C^{op}}$ where ...
6
votes
1answer
331 views

Where does one learn the algebraic geometry needed for topos theory?

I am a masters student familiar with category theory. I have started learning topos theory from MacLane-Moerdijk's book "Sheaves in Geometry and Logic: A First Introduction to topos Theory". I get the ...
4
votes
3answers
95 views

How to look at adjunctions correctly?

I am learning some category theory to help me with my area of research. I am trying to get familiar with the notion of adjunction. In some books I see the authors proving that two functors form an ...
3
votes
0answers
74 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 ...
7
votes
2answers
323 views

What is the relation between axiomatic set theory and logical quantifiers?

On the one hand, the logical predicates $\forall$ and $\exists$ are defined using the concept of a Domain of Discourse, which itself is defined as a set (at least according to wikipedia). On the ...
1
vote
1answer
73 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
81 views

What is the category of internal locales in a topos equivalent to?

I (think) have heard in a conference, in passing, the sentence ''there is an equivalence between internal locales in a topos $\mathbb{S}$ and localic $\mathbb{S}$-topoi''. Is this true in any sense? ...
0
votes
1answer
70 views

Coherence isomorphisms in the definition of the descent category.

What does "modulo coherence isomorphisms" mean, in the definition of the descent category of a simplicial topos?
2
votes
2answers
110 views

Generators in a topos

What is known about (sets of) generators in an elementary topos ? In particular, does an elementary/Grothendieck topos have a dense set of generators ?
7
votes
2answers
196 views

Definition of truth values in a topos.

I'm trying to understand what is meant exactly by a "truth value" in a topos. Take for example the topos of irreflexive graphs. It is known that the classifying morphism can take nodes to 2 different ...
5
votes
1answer
103 views

Whats the generalisation in category theory of the classical cover in topology?

In topology a cover of a space is a set of subspaces whose union is the space. Obviously a subspace is an inclusion. A space is an object in the category $Top$. In category theory, according to ...
0
votes
2answers
132 views

Can the equivalence between principle bundles and maps to classifying spaces be turned into an adjunction.

We have that $G-PBun(X)$, the category of topological principal bundles for a structure group $G$ is equivalent to $Top[X,BG]$ where $BG$ is the classifying space of $G$. This almost looks like an ...
3
votes
1answer
172 views

Reference for Cech cohomology on sites (not pre-topologies)

I'm searching for a reference dealing Cech cohomology on sites (not pre-topologies). In general, when dealing with Cech cohomology on sites, one admits that the category has finite limits so you can ...
5
votes
0answers
185 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?
1
vote
1answer
186 views

Proof that Beck-Chevalley holds for right adjoints iff it holds for left adjoints

I am looking at Bart Jacob's book "Categorical Logic and Type Theory". The proof of Lemma 1.9.7 is left as an exercise for the reader. It does not seem that easy to me, and i have had quite limited ...
7
votes
2answers
182 views

Is the map into the terminal object an epimorphism?

Let $C$ be a category with a terminal object $1$. Is the unique arrow from an object into $1$ necessarily an epimorphism? If not, is it an epimorphism if $C$ is a topos?
2
votes
0answers
56 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^{+}$ ...
9
votes
1answer
163 views

Properties of the internal language of the category of sheaves.

Consider a simple case of sheaves on some topological space $X$, $\operatorname{Sh}(X)$ (recall that a sieve on $U$ is covering iff its $\operatorname{sup}$ is $U$). All of these are Grothendieck ...
7
votes
1answer
220 views

Is there any point in a logician studying $\infty$-categories?

My primary areas of interest lately have been set theory, logic, and category theory, so naturally topos theory has been a large part of what I'm learning (in between getting caught up on some other ...
1
vote
1answer
118 views

Example of a coproduct and epi preserving functor $F$ which does not preserve finite colimits

What is an example of a functor $F:T\to S$ between toposes $T$ and $S$ which preserves coproducts and epimorphisms but which does not preserve finite colimits?
5
votes
1answer
662 views

Volume 3 of Johnstone's “Sketches of an Elephant”

Recently, I read the Chapter 8 of Johnstone's "Topos theory" and got interested in the homotopy and cohomology theory of Grothendieck toposes. So I'm looking for the textbooks expanding these ...
3
votes
1answer
31 views

Question on connected and locally connected geometric morphisms.

Is the property of a geometric morphism being both connected and locally connected (in the sense of Part C of the Elephant) stable under pullbacks? I know local connectedness is, I am not sure about ...
6
votes
2answers
193 views

ETCS set theory: Are empty sets isomorphic?

Just a quick question about ETCS: Are any two empty sets isomorphic? Here, a set $X$ is empty if there exists no $x \in X$, i.e. no functions $x: 1 \to X$. The reason I'm asking is that I need this ...
2
votes
1answer
117 views

Is the subobject classifier of the sheaves the sheaffication of the one from the presheaves?

maybe this is an idiot question, but I could not solve it. Let $\Omega$ be the suboject classifier in the category $\mathbf{PSh}(X, J)$ where $(X, J)$ is a site, I know that $\Omega(U) \cong Nat(h_U, ...
2
votes
1answer
43 views

Question about Lemma D1.4.4(iii) in the Elephant - possible typo?

Given a morphism $[\theta] \colon \lbrace \bar{x}.\phi \rbrace \rightarrow \lbrace \bar{y}. \psi \rbrace$ in the syntactic category $\mathcal{C}_{\mathbb{T}}$ of a (cartesian) theory, we are told, in ...
5
votes
0answers
145 views

W-types and inverse image functor [closed]

Since the question did not get an answer here I have posted it to mathoverflow at http://mathoverflow.net/questions/218855/w-types-and-inverse-image-functor All sheaf topoi have W-types and in fact ...
8
votes
1answer
713 views

What's the best way to teach oneself both Category Theory & Model Theory?

I've done a bit of reading around both Category Theory & Model Theory (CT & MT) as a novice in each field. I'm interested in how they might combine, particularly when applied to Algebra. [So ...
0
votes
1answer
75 views

Transposition of arrows in toposes (or cartesian closed categories)

Suppose $\mathcal{E}$ is an elementary topos (take as a definition that of Mac Lane and Moerdijk "Sheaves in Geometry and Logic"). I have a problem with a fact concerning the cartesian closure of ...
2
votes
1answer
55 views

Elementary question about subpresheaves

I have encountered the following phrase which I do not understand. The letter $L$ is used for a locale but I guess (?) this holds for other categories as well. The terminal sheaf $1$ is such that ...
0
votes
1answer
69 views

Lifting of a comonad to the presheaf category

Suppose I have a comonad $G$ on a category $\mathbb{C}$. If $C$ is a preorder then I can define a comonad (i.e. interior operator) $\square$ on the set $\mathcal{P}\uparrow(C)$ of upwards closed ...
0
votes
1answer
62 views

Questions regarding a particular category with functors

I have two questions regarding categories and natural transformations. The first question is as follows. Say we have categories $A$, $B_1$ and $B_2$, with functors $F: A \to B_1$, $G: B_1 \to B_2$ as ...
0
votes
0answers
89 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 ...