Pages that link to "Item:Q2683780"
From MaRDI portal
The following pages link to A characterization of generalized existential completions (Q2683780):
Displaying 7 items.
- Elementary doctrines as coalgebras (Q2220195) (← links)
- A co-free construction for elementary doctrines (Q2254598) (← links)
- Unifying exact completions (Q2254599) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- (Q4133632) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)
- Quotients, pure existential completions and arithmetic universes (Q6593819) (← links)