The following pages link to Unifying exact completions (Q2254599):
Displaying 23 items.
- A theorem on Barr-exact categories, with an infinitary generalization (Q922544) (← 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)
- On linear exactness properties (Q2035813) (← 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)
- Quotients, pure existential completions and arithmetic universes (Q6593819) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)
- Equiconsistency of the minimalist foundation with its classical version (Q6652037) (← links)
