scientific article; zbMATH DE number 3794304

zbMATH Open0504.18005MaRDI QIDQ4740070FDOQ4740070

Authors: R. Celia Magno, A. Carboni 

Publication date: 1982

Title of this publication is not available (Why is that?)

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)

Cited In (34)

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

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)