scientific article; zbMATH DE number 3794304
From MaRDI portal
Publication:4740070
Cited in
(34)- On generalized equilogical spaces
- 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
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories
- Enriched regular theories
- Cofibrant generation of pure monomorphisms
- The existential completion
- 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
- Inductive types and exact completion
- Dialectica principles via Gödel doctrines
- How nice are free completions of categories?
- 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
- Definable categories
- Exact completion and constructive theories of sets
- The category of equilogical spaces and the effective topos as homotopical quotients
- Extensional realizability
- Characterizing partitioned assemblies and realizability toposes
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- A property of effectivization and its uses in categorical logic
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)
