scientific article; zbMATH DE number 3794304

zbMath0504.18005MaRDI QIDQ4740070

R. Celia Magno, Aurelio Carboni

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

regular categoryfree abelian categoryfree exact categorypseudo-equivalence relation

Mathematics Subject Classification ID

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

Related Items (33)

Maltsev categories and Maltsev operations ⋮ Extensional realizability ⋮ Some free constructions in realizability and proof theory ⋮ Monads for which structures are adjoint to units ⋮ Unnamed Item ⋮ Regular and exact completions ⋮ Quotient completion for the foundation of constructive mathematics ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ Definable categories ⋮ Cofibrant generation of pure monomorphisms ⋮ Dialectica principles via Gödel doctrines ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ Characterizing partitioned assemblies and realizability toposes ⋮ On stability of exactness properties under the pro-completion ⋮ EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS ⋮ 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 ⋮ A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS ⋮ Splitting idempotents in a fibered setting ⋮ Sobriety for equilogical spaces ⋮ Category theoretic structure of setoids ⋮ A co-free construction for elementary doctrines ⋮ Unifying exact completions ⋮ When do completion processes give rise to extensive categories? ⋮ On the structure of categories of coalgebras ⋮ Inductive types and exact completion ⋮ The existential completion ⋮ Enriched regular theories ⋮ On generalized equilogical spaces ⋮ How nice are free completions of categories? ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Localizations of algebraic categories. II ⋮ A characterization of the left exact categories whose exact completions are toposes

This page was built for publication: