Title of article :
Locally cartesian closed exact completions
Author/Authors :
Oliviero A. Carboni، نويسنده , , G. Rosolini، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
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
Journal title :
Journal of Pure and Applied Algebra