Learn More
Many categories of interest arise as exact completions of a left exact category. For example, for every small left exact category C, the presheaf topos Sets C op is an exact completion [1]. Realizability toposes are also examples [4]. More recently, in computer science there has been a lot of interest in the exact completion of the category of topological(More)
  • 1