Pages that link to "Item:Q2254598"
From MaRDI portal
The following pages link to A co-free construction for elementary doctrines (Q2254598):
Displaying 6 items.
- On a generalization of equilogical spaces (Q1653553) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Unifying exact completions (Q2254599) (← links)
- Adding a constant and an axiom to a doctrine (Q6642288) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)
