Pages that link to "Item:Q2220195"
From MaRDI portal
The following pages link to Elementary doctrines as coalgebras (Q2220195):
Displaying 9 items.
- A characterisation of elementary fibrations (Q2131276) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- Elementary fibrations of enriched groupoids (Q5084307) (← links)
- Quotients, pure existential completions and arithmetic universes (Q6593819) (← links)
- Adding a constant and an axiom to a doctrine (Q6642288) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)
- Categorical interpretations of cryptomorphisms and maps arising from matroidal and combinatorial contexts (Q6667405) (← links)
