3
votes
2answers
74 views

What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?

maybe this question doesn't make sense at all. I don't know exactly the meaning of all these concepts, except the internal language of a topos (and searching on the literature is not helping at all). ...
0
votes
1answer
43 views

how would you define the term “elementary” in the context of categories and sets?

I was just reading P.T. Johnstone's introduction to his book "Topos Theory", where he uses the term "elementary" many times to classify the nature of theorems and definitions, examples below. I ...
1
vote
1answer
86 views

Arrows-only implication & disjunction in $\mathbf{Set}.$

Just before the truth-arrows in a topos subsection of Goldblatt's "Topoi: A Categorial Analysis of logic," descriptions of the truth functions $\Rightarrow$ and $\smallsmile$ are given in ...
1
vote
1answer
40 views

Strange monomorphism of sheaves

What is an example of a Grothendieck topology $J$ on a small category $\mathcal{C}$ such that the category of sheaves $\mathsf{Sh}(\mathcal{C},J)$ has a monomorphism which is not a monomorphism of ...
1
vote
1answer
34 views

Showing $f:a\to b$ is epic iff there exists some iso $g: f(a)\cong b$ with $g\circ f^*=f$.

This is Exercise 5.2.4 of Goldblatt's, "Topoi: A Categorial Analysis of Logic". In any topos, given $f:a\to b$, define $p, q: b\to r$ using the pullback of $f$ along itself like so ...
3
votes
1answer
77 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
48 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
32 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
122 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 ...
7
votes
2answers
119 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
47 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
71 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 ...
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 ...
2
votes
0answers
53 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
56 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 ...
2
votes
2answers
40 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?
2
votes
2answers
65 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$ ...
1
vote
1answer
29 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
62 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 ...
4
votes
1answer
71 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
77 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
47 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 ...
1
vote
1answer
61 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
38 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
60 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
61 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
112 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 ...
4
votes
1answer
69 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
46 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 ...
1
vote
1answer
60 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 ...
4
votes
2answers
84 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?
7
votes
1answer
148 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
71 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
224 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 ...
2
votes
1answer
25 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
116 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
37 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 ...
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 ...
6
votes
1answer
467 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
51 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
45 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
47 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
52 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
70 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 ...
2
votes
2answers
67 views

Characterization of epimorphisms of sheaves on a site

I'm stuck with a detail in the proof of the characterization of epimorphism of sheaves on a site in the Mac Lane & Moerdijk book "Sheaves in Geometry and Logic". I want to prove that: "If ...
1
vote
2answers
91 views

Explicit construction of a initial object in a topos

Let $\mathcal E$ be a topos as in Mac Lane and Moerdijk. A initial object in $\mathcal E$ can be obtained as the domain of the equalizer of the morphisms $P!,\epsilon P1:P1\to P^31$, where $1$ is a ...
2
votes
0answers
93 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 ...
1
vote
1answer
71 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 ...
10
votes
3answers
267 views

Is there a category whose internal logic is paraconsistent?

The internal language of topoi is higher-order typed intuitionistic logic. Now according to wikipedia, the dual of intuitionistic logic, in some sense is paraconsistent. They say Intuitionistic ...
6
votes
1answer
234 views

What was the Lawveres explanation of adjoint functors in terms of Hegelian Philosophy?

I was contemplating asking this question on Philsophy.SE but felt it was better directed here as there are a dearth of category theorists there. According to the wikipedia entry on Categorical Logic: ...