The following pages link to (Q4740070):
Displaying 34 items.
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- Inductive types and exact completion (Q556819) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Localizations of algebraic categories. II (Q1295671) (← links)
- Maltsev categories and Maltsev operations (Q1346817) (← links)
- Extensional realizability (Q1356980) (← links)
- Regular and exact completions (Q1380046) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- Definable categories (Q1689577) (← links)
- Characterizing partitioned assemblies and realizability toposes (Q1713020) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- Splitting idempotents in a fibered setting (Q1756501) (← links)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- Some free constructions in realizability and proof theory (Q1903677) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- Cofibrant generation of pure monomorphisms (Q2193244) (← links)
- On stability of exactness properties under the pro-completion (Q2217538) (← links)
- Sobriety for equilogical spaces (Q2253179) (← links)
- Category theoretic structure of setoids (Q2253183) (← links)
- A co-free construction for elementary doctrines (Q2254598) (← links)
- Unifying exact completions (Q2254599) (← links)
- Enriched regular theories (Q2301998) (← links)
- On generalized equilogical spaces (Q2310780) (← links)
- How nice are free completions of categories? (Q2310781) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- (Q4975426) (← 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)
- When do completion processes give rise to extensive categories? (Q5939822) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)
- Quotients, pure existential completions and arithmetic universes (Q6593819) (← links)
