# Tagged Questions

337 views

### How much choice is required to prove concretizability theorems in category theory?

A concretization of a category is a faithful functor to the category of sets. A category is concretizable if there exists such a functor. An evident necessary condition for concretizability is ...
199 views

### Pullback-stability of internally projective objects

An object $X$ of a category $C$ is said to be projective if the hom-functor $C(X,-)$ preserves epimorphisms (or, in general, some restricted class of epimorphisms such as the regular or effective ...
553 views

### Category and the axiom of choice

What are (if any) equivalent forms of AC (The Axiom of Choice) in Category Theory ?
359 views

### Categorifications of Zorn's lemma

I'm wondering about categorifications of Zorn's lemma along the following lines. Lemma: if $\mathbf{C}$ is a small category in which every directed diagram of monomorphisms has a cocone of ...
342 views

### Counterexemple to Urysohn's lemma in a topos without denombrable choice ?

Hello ! The Urysohn's Lemma assert that in every topological spaces which is normal two closed subset may be separated by a real valued function. It's proof use axiom of countable choice (but not the ...
258 views

### What are these sets in Freyd's model?

Recall Freyd's model of $ZF +\neg AC$ (as recounted in MacLane and Moerdijk's book Sheaves in Geometry and Logic): it arises as the Fourman interpretation of the topos of sheaves on a particular ...
480 views

### Example of a topos that violates countable choice

At this nLab page we have the line In contrast, any topos that violates countable choice, of which there are plenty, must also violate internal COSHEP. It doesn't give an example, and neither ...
465 views

### Forcing the nonexistence of a certain set

I have a certain set-theoretic axiom (WISC) which follows from Choice (this is a nuking a fly BTW), but which I suspect is independent of ZF. To show this I need to show that a certain set does not ...
346 views

### Existence of enough projectives in the category of sets

I am talking about the principle that says that every set is the image of a projective set. For every set $x$ there is a surjection $f:y \twoheadrightarrow x$, such that for any set $u$ and function ...
The splitting lemma says: Given a short exact sequence with maps $q$ and $r$: $0 \rightarrow A \overset{q}{\rightarrow} B \overset{r}{\rightarrow} C \rightarrow 0$ then the following are ...