The tag has no wiki summary.

learn more… | top users | synonyms

10
votes
2answers
393 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 ...
8
votes
1answer
1k 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 ...
6
votes
1answer
512 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 ...
10
votes
1answer
675 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?
23
votes
0answers
469 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 ...
13
votes
0answers
200 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 ...
4
votes
1answer
61 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 ...
1
vote
2answers
108 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 ...
4
votes
0answers
86 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 ...
4
votes
1answer
270 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 ...