The following pages link to Are there enough injective sets? (Q2377052):
Displaying 5 items.
- The weak choice principle WISC may fail in the category of sets (Q497424) (← links)
- Injective power objects and the axiom of choice (Q712189) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Towards constructivising the Freyd-Mitchell embedding theorem (Q6634616) (← links)