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

12
votes
2answers
470 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 ...
7
votes
1answer
597 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 ...
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 ...
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?
1
vote
2answers
151 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 ...
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 ...
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 ...
3
votes
1answer
141 views

A Question on a claim regarding the notion of “space” in “Indiscrete Thoughts”

I'm reading Gian-Carlo Rota's book "Indiscrete Thoughts". In page 220 I came across a strange quotation with very few explanations: We thought that the generalizations of the notion of space had ...
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 ...
4
votes
1answer
70 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
0answers
80 views

Grothendieck Topology on the Category of Elements

We are given a site $(C, J)$ for a small category $C$ and a Grothendieck topology $J$. If $F\in Sh(C, J)$, we take the natural topology $J_F$ on its category of elements $el(F)$ induced by $J$. I am ...
5
votes
1answer
295 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 ...
4
votes
0answers
77 views

Equivalent definitions of regular categories?

maybe this is a stupid question, but I could not solve it after some time of meditation. There are four different notions of regular categories: 1) A cartesian category with coequalizers of kernel ...
4
votes
0answers
92 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 ...
2
votes
1answer
43 views

Is there a characterization of coverings in subcanonical pretopologies?

Let $\mathcal C$ be a category. A sieve for $\mathcal C$ is called strictly universally epimorphic if it is one of the covering sieves for the canonical topology on $\mathcal C$. SGA4 gives the ...