Pages that link to "Item:Q556819"
From MaRDI portal
The following pages link to Inductive types and exact completion (Q556819):
Displaying 6 items.
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)
