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

39
votes
0answers
1k views

What does it take to divide by $2$?

Theorem 1 [ZFC, classical logic]: If $A,B$ are sets such that $\textbf{2}\times A\cong \textbf{2}\times B$, then $A\cong B$. That's because the axiom of choice allows for the definition of ...
33
votes
1answer
945 views

Does “cheap nonstandard analysis” take place in a topos?

Terence Tao's A cheap version of nonstandard analysis describes a way to do analysis halfway between ordinary analysis and nonstandard analysis which, if I'm not mistaken, cashes out to working in the ...
20
votes
1answer
520 views

How to find exponential objects and subobject classifiers in a given category

In a course I'm learning about Topos theory, there are a lot of exercises which require you to prove explicitly some category is an elementary topos: i.e. to construct exponentials and a subobject ...
18
votes
4answers
535 views

What does a proof in an internal logic actually look like?

The nLab has a lot of nice things to say about how you can use the internal logic of various kinds of categories to prove interesting statements using more or less ordinary mathematical reasoning. ...
17
votes
1answer
259 views

Revisiting “What is Mazzola's ”Topos of Music“ about?”

This question has been asked here: What is Mazzola's "Topos of Music" about? But I am dissatisfied with the response for several reasons and would like Math SE to revisit this ...
16
votes
0answers
329 views

How much set theory does the category of sets remember?

Question. Let $M$ be a model of enough set theory. Then we can form a category $\mathbf{Set}_M$ whose objects are the elements of $M$ and whose morphisms are the functions in $M$. To what extent is ...
12
votes
2answers
475 views

Importance of 'smallness' in a category, and functor categories

I feel like, having spent a little time doing category theory now, this is probably a silly question, but I keep coming up to many things (definitions, examples etc.) where smallness is required. I ...
11
votes
1answer
220 views

Does this notion of morphism of noncommutative rings appear in the ring theory literature?

Definition: Let $R, S$ be two rings. A classical morphism $\phi : R \to S$ is a function from elements of $R$ to elements of $S$ which restricts to a homomorphism (of rings, in the usual sense) on ...
10
votes
1answer
110 views

Motivation for the definition of an infinitesimal object

An infinitesimal object $D$ in a Cartesian closed category $\mathsf{C}$ is one for which the internal Hom functor $$(-)^D: \mathsf{C} \to \mathsf{C}$$ has a right adjoint. I am wondering what is the ...
10
votes
1answer
744 views

Fuzzy logic and topos theory

Why doesn't one develop fuzzy logic by extending topos theory, by simply extending the subobject classifier $\Omega$ to the unit interval [0,1]? Have people done that?
10
votes
3answers
444 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 ...
10
votes
2answers
288 views

Natural numbers objects in topoi: Recursion in a parameter

I am currently trying to prove an exercise from Sheaves in Geometry and Logic: A First Introduction to Topos Theory by Mac Lane and Moerdijk about natural numbers objects. First, we have the ...
9
votes
2answers
2k views

What is Mazzola's “Topos of Music” about?

Disclaimers: I am neither a musician, nor I want to discredit Mazzola's work. Corollary of the first point: please use a plain style, without technical terms in the area of Music Theory. Corollary of ...
9
votes
1answer
143 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 ...
9
votes
1answer
140 views

When does Sheafification commute with direct image?

Given a presheaf $\mathcal{F}$ on a space $X$ and a map $f: X \rightarrow Y$, when does $f_* A(\mathcal{F}) = A(f_* \mathcal{F})$, where $A$ is the associated sheaf/sheafification functor? Since ...
8
votes
3answers
236 views

Does the category framework permit new logics?

It appears to me that a topos permits a broader concept of subsets than the yes/no decission of a characteristic function in a set theory setting. Probably because the subobject classifier doesn't ...
8
votes
1answer
602 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 ...
8
votes
1answer
187 views

Why are these two definitions of the left-adjoint to $u^p\colon PShv(D)\to PShv(C)$ equivalent?

Suppose $u\colon C\to D$ is a functor between categories. Then there is a functor $$ u^p\colon PShv(D)\to PShv(C) $$ between the associated presheaf categories by precomposition with $u$ as it is ...
8
votes
1answer
392 views

Examples of mathematical statements made with adjoint functors

I am wondering if it is possible to use the adjoint functors in topos theory for statements in analysis. Any examples would be warmly welcomed. Though I would prefer simpler, atomic, lemmas or ...
7
votes
1answer
81 views

Does an equivalence of $G$-sets and $H$-sets imply an isomorphism of $G$ and $H$?

Here $G$-sets denote the category of sets which have a left $G$-action. So the question is whether a functor $F \colon \text{$G$-sets} \to \text{$H$-sets}$ implies that we have an isomorphism of ...
7
votes
2answers
162 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 ...
7
votes
2answers
527 views

A locally constant sheaf on a locally connected space is a covering space; Proof?

As part of my hobby i'm learning about sheaves from Mac Lane and Moerdijk. I have a problem with Ch 2 Q 5, to the extent that i don't believe the claim to be proven is actually true, currently. Here ...
7
votes
2answers
163 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 ...
7
votes
1answer
194 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 ...
7
votes
1answer
86 views

How to prove that in this context epimorphisms are 'surjective'

In article AN ELEMENTARY THEORY OF THE CATEGORY OF SETS of William Lawvere I met a proposition left to reader (poor me) and I hope someone can help me with it. It wouldn't surprise me if it is not ...
7
votes
2answers
299 views

What fragment of ZFC do we need to prove Zorn's lemma?

It is extremely well-known that Zorn's lemma is a theorem of ZFC. My interest is in a certain finitely-axiomatisable fragment of ZFC, sometimes called RZC (restricted Zermelo with choice) or ZBQC. The ...
7
votes
1answer
536 views

What are the algebras of the double powerset monad?

Let $\mathscr{P} : \textbf{Set} \to \textbf{Set}^\textrm{op}$ be the (contravariant) powerset functor, taking a set $X$ to its powerset $\mathscr{P}(X)$ and a map $f : X \to Y$ to the inverse image ...
7
votes
0answers
199 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 ...
7
votes
0answers
158 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, ...
6
votes
2answers
123 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?
6
votes
2answers
256 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 ...
6
votes
2answers
163 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 ...
6
votes
1answer
212 views

Grothendieck topology on pre/sheaves

Given a Grothendieck topology $T$, say subcanonical, on a category $C$, we are able to talk about sheaves in $(C, T)$. Since pre/sheaves can be viewed as generalized objects of $C$ (via Yoneda ...
6
votes
1answer
307 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: ...
6
votes
1answer
58 views

Can a general version of the covariant powerset monad be derived from the universal property of power objects?

As the title asks, I'm wondering if one can generally squeeze a "covariant power object monad" out of a topos (following the usual example in $\mathcal{Set}$ with functor part the direct image ...
6
votes
1answer
245 views

An example of a Grothendieck topology

A Grothendieck topology on a category $\mathcal{C}$ with finite limits consists of, for each object $U$ in $\mathcal{C}$ a collection $\text{Cov}(U)$ of sets $\{ U_i \to U \}$ such that Isomorphisms ...
6
votes
1answer
148 views

Glueing sheaves on Grothendieck sites

Let $X$ be a topological space and $\{V_i\}$ a cover of $X$. Let $F_i:\mathsf{Open}(V_i)^{\mathrm{op}}\to \mathsf{Sets}$ be a family of sheaves. One can glue this family to obtain a sheaf ...
6
votes
1answer
135 views

Does a geometric morphism $f\colon \cal E\to F$ preserves and reflects the subobject classifier?

I'm stuck in the apparently easy exercise in the title; I tried to prove it twice but both arguments were flawed (one of the two: one can easily obtain a natural map $Sub_\mathcal E(A)\to Sub_\mathcal ...
6
votes
1answer
332 views

What do coherent topoi have to do with completeness?

There is a theorem of Deligne that a "coherent" topos (e.g. one on a site where all objects are quasi-compact and quasi-separated) has enough points (i.e. isomorphisms can be detected via geometric ...
6
votes
1answer
105 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 ...
6
votes
0answers
62 views

What are the universally effective epimorphisms of topological spaces?

An effective epimorphism in a category is a morphism that is the coequaliser of its kernel pair, and a universally effective epimorphism is a morphism $f : X \to Y$ such that, for every pullback ...
5
votes
3answers
110 views

Where to study $2$-category theory?

Is there any place where I can read about $2$-categories? I am looking for a proper treatment - there is a section in Borceux's Handbook of Categorical Algebra, but it only sketches some parts of the ...
5
votes
3answers
392 views

Example of a small topos

I'm currently trying to understand this article by T. Noll on the topos of triads in music theory (also, this) However, I can't get past section 2.2 where Noll introduces the subobject classifier, ...
5
votes
1answer
138 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 ...
5
votes
1answer
499 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 ...
5
votes
1answer
297 views

Showing that the sheaf-functor $\epsilon: \tilde{\sf C} \to \tilde{\tilde{\sf C}}$ is an equivalence

Let $(\mathsf C,J)$ be a site. Then we have the category of sheaves $\tilde{\mathsf C}$ and the category $\tilde{\tilde{\sf C}}$ of sheaves over $\tilde{\sf C}$ (both considered with the canonical ...
5
votes
1answer
158 views

Presheaves over sieves and posets

I'm looking for a proof of the claim that given a poset P, the topos of presheaves over P is equivalent to the topos of presheaves over the complete Heyting algebra of sieves on elements of P. I found ...
5
votes
1answer
98 views

What makes “the topos $\mathbf{M}_2$” such a good counterexample?

I'd like to ask this question sooner rather than later; it might be a bit half-baked. So I'm sorry. It's just that there's a chance I'll be side-tracked from Topos Theory for a couple of months (with ...
5
votes
1answer
84 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 ...
5
votes
2answers
720 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). ...