加载中…
Let be a continuous triangular norm on the unit interval and be a cartesian closed and stable subconstruct of the category consisting of all real-enriched categories. Firstly, it is shown that the category is cartesian closed if and only if it is determined by a suitable subset of , where is the set of all elements in such that is idempotent. Secondly, it is shown that all Yoneda complete real-enriched categories valued in the set and Yoneda continuous -functors form a cartesian closed category.

生成讲解博客的中文版本

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