scientific article; zbMATH DE number 3794304

MaRDI QIDQ4740070zbMATH OpenFDO

Authors R. Celia Magno, A. Carboni

Publication date 1982

zbMATH Keywords

free abelian categoryfree exact categorypseudo-equivalence relationregular category

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Special categories (18B99) Abelian categories, Grothendieck categories (18E10)

Cited in

(37)

• A minimalist two-level foundation for constructive mathematics
• Localizations of algebraic categories. II
• Maltsev categories and Maltsev operations
• Extensional realizability
• Regular and exact completions
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Definable categories
• Characterizing partitioned assemblies and realizability toposes
• Exact completion of path categories and algebraic set theory. I: Exact completion of path categories
• Splitting idempotents in a fibered setting
• A characterization of the left exact categories whose exact completions are toposes
• Some free constructions in realizability and proof theory
• Monads for which structures are adjoint to units
• Cofibrant generation of pure monomorphisms
• On stability of exactness properties under the pro-completion
• Sobriety for equilogical spaces
• Category theoretic structure of setoids
• A co-free construction for elementary doctrines
• Unifying exact completions
• Enriched regular theories
• On generalized equilogical spaces
• How nice are free completions of categories?
• Dialectica principles via Gödel doctrines
• Quotient completion for the foundation of constructive mathematics
• A property of effectivization and its uses in categorical logic
• The category of equilogical spaces and the effective topos as homotopical quotients
• The existential completion
• Exact completion and constructive theories of sets
• A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
• Inductive types and exact completion
• When do completion processes give rise to extensive categories?
• On the structure of categories of coalgebras
• Flatness, weakly lex colimits, and free exact completions
• Quotients, pure existential completions and arithmetic universes
• The relational quotient completion
• Biased elementary doctrines and quotient completions
• Poset-enriched categories and free exact completions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4740070)