The following pages link to Regular and exact completions (Q1380046):
Displaying 50 items.
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness (Q263883) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Butterflies in a semi-abelian context (Q387884) (← links)
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← links)
- Cocomplete toposes whose exact completions are toposes (Q886236) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Localizations of algebraic categories. II (Q1295671) (← links)
- Toward a characterization of algebraic exactness. (Q1427370) (← links)
- Locally cartesian closed exact completions (Q1588066) (← links)
- Weak subobjects and the epi-monic completion of a category. (Q1588073) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← 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)
- Completeness of cocompletions (Q1770534) (← links)
- On quasivarieties and varieties as categories (Q1770598) (← links)
- Syntactic categories for Nori motives (Q1783984) (← links)
- An extension of the regular completion (Q1850097) (← links)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- Relative completions (Q1878419) (← links)
- On reflective subcategories of varieties (Q1886829) (← links)
- Localizations of algebraic categories (Q1917396) (← links)
- Monoid properties as invariants of toposes of monoid actions (Q2044554) (← links)
- On the local Cartesian closure of exact completions (Q2184801) (← links)
- On stability of exactness properties under the pro-completion (Q2217538) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← 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)
- Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories (Q2397551) (← links)
- Star-regularity and regular completions (Q2448287) (← links)
- Pure morphisms in pro-categories (Q2502913) (← links)
- A classification of geometric morphisms and localizations for presheaf categories and algebraic categories (Q2509246) (← links)
- Completions, comonoids, and topological spaces (Q2575766) (← links)
- Flat vs. filtered colimits in the enriched context (Q2671886) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- A variety theorem for relational universal algebra (Q2695366) (← links)
- Categories of partial equivalence relations as localizations (Q2699426) (← links)
- Joyal's arithmetic universes via type theory (Q2842826) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
- (Q4230985) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- Accessible categories with a class of limits (Q6051098) (← links)
- A generalization of de Vries duality to closed relations between compact Hausdorff spaces (Q6113249) (← links)
