• 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