The following pages link to Unifying exact completions (Q2254599):
Displayed 18 items.
- 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)
- Dialectica logical principles (Q2151422) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- On Choice Rules in Dependent Type Theory (Q2988806) (← 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)
- A topos for continuous logic (Q5868039) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)