4
votes
2answers
158 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 ...
4
votes
1answer
71 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 ...
1
vote
0answers
54 views

A sheaf of cumulative hierarchies

I've recently read a paper about sheaf forcing in which a sheaf of cumulative hierarchies was defined (defintion 5.3 on page 30). The same object is described in this English paper (defintion 3.1 on ...
5
votes
2answers
256 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 ...
4
votes
1answer
147 views

Why do we need a pullback for the definition or classification of subobjects?

Regarding the subobject classifier construction, why do we need the pullback? Monos from $U$ to $X$ are called subobjects, but I see that there might be injections which just have elements of the X ...
6
votes
3answers
210 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 ...
3
votes
0answers
185 views

The category of presheaves on a possibly-large category

Suppose $\mathcal{C}$ is a category such that for every $c \in \mathrm{Ob}(\mathcal{C})$, the slice category $\mathcal{C}/c$ is equivalent to a small category. I need to show that the category of ...