Title of article
Locally cartesian closed exact completions
Author/Authors
Oliviero A. Carboni، نويسنده , , G. Rosolini، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
14
From page
103
To page
116
Abstract
We determine explicit conditions on a category P which are equivalent to the request that its exact completion Pex be locally cartesian closed, or simply cartesian closed. In line with the idea that weak limits in P give rise to actual limits in the exact completion, the condition requires the existence of weak evaluation maps. We apply the characterization to the case of the category of topological spaces and to a related category proposed by Dana Scott.
Journal title
Journal of Pure and Applied Algebra
Serial Year
2000
Journal title
Journal of Pure and Applied Algebra
Record number
816710
Link To Document