Locally cartesian closed exact completions
type: Item
instance of: scholarly article
title: Locally cartesian closed exact completions
zbMATH Open document ID: 0962.18001
DOI: 10.1016/S0022-4049(99)00192-9
author: G. Rosolini
author: A. Carboni
published in: Journal of Pure and Applied Algebra
publication date: 2001-06-04T00:00:00Z
review text: Categories are characterized whose exact completion is locally cartesian closed. The result explains why the category of equilogical spaces of \textit{D. S. Scott} is locally cartesian closed.
Mathematics Subject Classification ID: 18A35
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 18B30
Mathematics Subject Classification ID: 03B15
zbMATH DE Number: 1538800
zbMATH Keywords: exact completion
zbMATH Keywords: equilogical space
zbMATH Keywords: locally cartesian closed category
reviewed by: Jiří Rosický
MaRDI profile type: Publication
cites work: Exact categories and categories of sheaves
cites work: Q3682648
cites work: Q4936141
cites work: Some free constructions in realizability and proof theory
cites work: Q3795831
cites work: Introduction to extensive and distributive categories
cites work: Regular and exact completions
cites work: Q4853985
cites work: Colimit completions and the effective topos
cites work: Data Types as Lattices
full work available at URL: s0022-4049(99)00192-9
OpenAlex ID: W1996443480
Recommended article: On the local Cartesian closure of exact completions
Recommended article: Cartesian closed exact completions
Recommended article: Cartesian closed exact completions in topology
Recommended article: Essential localizations and infinitary exact completion
Recommended article: Local completeness and dual local quasi-completeness
Recommended article: Localic completion of uniform spaces
Recommended article: Localizations as idempotent approximations to completions
Recommended article: Localization of complete intersections
Recommended article: A Cartesian closed extension of the category of locales
Recommended article: Local completeness and drop theorem
description: scientific article; zbMATH DE number 1538800