Cartesian closed and stable subconstructs of [0,1]-Cat
Category Theory
2024-08-15 v2
Abstract
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.
Cite
@article{arxiv.2401.01071,
title = {Cartesian closed and stable subconstructs of [0,1]-Cat},
author = {Hongliang Lai and Qingzhu Luo},
journal= {arXiv preprint arXiv:2401.01071},
year = {2024}
}
Comments
18pages