The following pages link to Elementary quotient completion (Q2855642):
Displayed 29 items.
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness (Q263883) (← links)
- On a generalization of equilogical spaces (Q1653553) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
- A characterisation of elementary fibrations (Q2131276) (← links)
- Numerical existence property and categories with an internal copy (Q2198319) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- A co-free construction for elementary doctrines (Q2254598) (← links)
- Unifying exact completions (Q2254599) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Categories of partial equivalence relations as localizations (Q2699426) (← links)
- On Choice Rules in Dependent Type Theory (Q2988806) (← links)
- Homotopies in Grothendieck fibrations (Q3305548) (← links)
- (Q4975426) (← links)
- (Q5009707) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- Elementary fibrations of enriched groupoids (Q5084307) (← links)
- The existential completion (Q5129224) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- (Q5208904) (← links)
- From type theory to setoids and back (Q5889302) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)