A characterization of the left exact categories whose exact completions are toposes
type: Item
instance of: scholarly article
title: A characterization of the left exact categories whose exact completions are toposes
zbMATH Open document ID: 1050.18002
DOI: 10.1016/S0022-4049(02)00261-X
published in: Journal of Pure and Applied Algebra
publication date: 2003-03-09T00:00:00Z
Mathematics Subject Classification ID: 18A35
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 1878463
author: Matias Menni
MaRDI profile type: Publication
Wikidata QID: Q112120951
cites work: Q4858541
cites work: Exact categories and categories of sheaves
cites work: Q4936141
cites work: Q4314472
cites work: Some free constructions in realizability and proof theory
cites work: Q4740070
cites work: Introduction to extensive and distributive categories
cites work: Locally cartesian closed exact completions
cites work: Regular and exact completions
cites work: Q3995720
cites work: Tripos theory
cites work: Q4145861
cites work: Q3965241
cites work: Q5619069
cites work: Q4896510
cites work: Impredicativity entails untypedness
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
cites work: Cocomplete toposes whose exact completions are toposes
cites work: More exact completions that are toposes
cites work: Extensional realizability
cites work: Colimit completions and the effective topos
full work available at URL: s0022-4049(02)00261-x
OpenAlex ID: W2122618818
Recommended article: Q4037031
Recommended article: Q4230985
Recommended article: The Fullness Axiom and exact completion of homotopy categories
Recommended article: Localizations of locally presentable categories and exact topologies
Recommended article: Cocomplete toposes whose exact completions are toposes
Recommended article: Q4390739
Recommended article: Q4226769
Recommended article: A characterization of the category \(Q\)-\(\mathbf{TOP}\)
Recommended article: Q3577513
Recommended article: On completeness of locally-internal categories
description: scientific article; zbMATH DE number 1878463