Regular and exact completions
From MaRDI portal
Publication:1380046
DOI10.1016/S0022-4049(96)00115-6zbMath0891.18002MaRDI QIDQ1380046
Aurelio Carboni, Enrico M. Vitale
Publication date: 20 July 1998
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Projectives and injectives (category-theoretic aspects) (18G05) Abelian categories, Grothendieck categories (18E10) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Embedding theorems, universal categories (18B15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness ⋮ Unnamed Item ⋮ Relative completions ⋮ Gabriel-Ulmer duality for topoi and its relation with site presentations ⋮ Unnamed Item ⋮ On reflective subcategories of varieties ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories ⋮ Localizations of algebraic categories ⋮ Unnamed Item ⋮ Quotient completion for the foundation of constructive mathematics ⋮ Butterflies in a semi-abelian context ⋮ Flat vs. filtered colimits in the enriched context ⋮ Cocomplete toposes whose exact completions are toposes ⋮ On the local Cartesian closure of exact completions ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ Accessible categories with a class of limits ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ Dialectica principles via Gödel doctrines ⋮ A characterization of generalized existential completions ⋮ On categorical structures arising from implicative algebras: from topology to assemblies ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ A variety theorem for relational universal algebra ⋮ Categories of partial equivalence relations as localizations ⋮ Unnamed Item ⋮ On stability of exactness properties under the pro-completion ⋮ Toward a characterization of algebraic exactness. ⋮ Star-regularity and regular completions ⋮ Elementary doctrines as coalgebras ⋮ Unnamed Item ⋮ EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS ⋮ Regular functors and relative realisability categories ⋮ The category of equilogical spaces and the effective topos as homotopical quotients ⋮ Exact completion of path categories and algebraic set theory. I: Exact completion of path categories ⋮ The matrix taxonomy of finitely complete categories ⋮ Splitting idempotents in a fibered setting ⋮ A co-free construction for elementary doctrines ⋮ Unifying exact completions ⋮ Syntactic characterizations of various classes of locally presentable categories ⋮ When do completion processes give rise to extensive categories? ⋮ Completeness of cocompletions ⋮ On the structure of categories of coalgebras ⋮ On quasivarieties and varieties as categories ⋮ On algebraically exact categories and essential localizations of varieties ⋮ Pure morphisms in pro-categories ⋮ Syntactic categories for Nori motives ⋮ A classification of geometric morphisms and localizations for presheaf categories and algebraic categories ⋮ The existential completion ⋮ Monoid properties as invariants of toposes of monoid actions ⋮ A characterisation of the category of compact Hausdorff spaces ⋮ Enriched regular theories ⋮ On generalized equilogical spaces ⋮ How nice are free completions of categories? ⋮ Lawvere–Tierney sheaves in Algebraic Set Theory ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Joyal's arithmetic universes via type theory ⋮ Localizations of algebraic categories. II ⋮ Locally cartesian closed exact completions ⋮ Weak subobjects and the epi-monic completion of a category. ⋮ An extension of the regular completion ⋮ Completions, comonoids, and topological spaces ⋮ Aspects of Categorical Recursion Theory ⋮ The effective model structure and -groupoid objects ⋮ A characterization of the left exact categories whose exact completions are toposes ⋮ An exactification of the monoid of primitive recursive functions
Cites Work
- Cartesian bicategories. I
- Sheaves in geometry and logic: a first introduction to topos theory
- Introduction to extensive and distributive categories
- Constructive complete distributivity. IV
- Completeness results for intuitionistic and modal logic in a categorical setting
- Some free constructions in realizability and proof theory
- Localizations of algebraic categories
- Exact categories and categories of sheaves
- Sur quelques points d'algèbre homologique
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
