scientific article; zbMATH DE number 3794304
From MaRDI portal
Publication:4740070
zbMATH Open0504.18005MaRDI QIDQ4740070FDOQ4740070
Authors: R. Celia Magno, A. Carboni
Publication date: 1982
Title of this publication is not available (Why is that?)
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)