Pages that link to "Item:Q1588066"
From MaRDI portal
The following pages link to Locally cartesian closed exact completions (Q1588066):
Displaying 22 items.
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Inductive types and exact completion (Q556819) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- More exact completions that are toposes (Q1602851) (← links)
- On a generalization of equilogical spaces (Q1653553) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← 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)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- Relative completions (Q1878419) (← links)
- On the local Cartesian closure of exact completions (Q2184801) (← links)
- Sobriety for equilogical spaces (Q2253179) (← links)
- Category theoretic structure of setoids (Q2253183) (← links)
- On generalized equilogical spaces (Q2310780) (← links)
- How nice are free completions of categories? (Q2310781) (← links)
- (Q4675788) (← 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)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)
