加载中…
Using generalized enriched categories, in this paper we show that Rosick'{y}'s proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over , like metric spaces, approach spaces, ultrametric spaces, probabilistic metric spaces, and bitopological spaces. In order to do so we prove a sufficient criterion for exponentiability of -categories and show that, under suitable conditions, every -injective category is exponentiable in .

生成讲解博客的中文版本

生成AI智能校验的中文版本