The following pages link to (Q4680361):
Displayed 7 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- Coalgebras in a category of classes (Q876384) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Comparing material and structural set theories (Q1715477) (← links)