# Tagged Questions

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.

347 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 ...
552 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 ...
880 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?
179 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 ...
2k 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 ...
534 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 $M$...
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 ...
749 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 ...
152 views

### Could there be an “$n$-th root” of the category $\mathsf{Set}$?

Here is a thought experiment: Suppose we did not know what sets and functions are. The general idea of a topos is, that it somehow serves as a foundation for mathematics. So let there be an alternate ...
1k views

### Applications of category theory and topoi/topos theory in reality

I am an amateur mathematician with an interest in the subjects named in the title. I have recently come to understand that my B.A. in math gives me absolutely no qualification at all in the Swedish ...
213 views

104 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 ...
100 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 ...
94 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 ...