Pages that link to "Item:Q5221857"
From MaRDI portal
The following pages link to Relating Quotient Completions via Categorical Logic (Q5221857):
Displaying 7 items.
- On a generalization of equilogical spaces (Q1653553) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- W-types in setoids (Q5155691) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)