English

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 [0,1][0,1] and A\mathbf{A} be a cartesian closed and stable subconstruct of the category consisting of all real-enriched categories. Firstly, it is shown that the category A\mathbf{A} is cartesian closed if and only if it is determined by a suitable subset SM2S\subseteq{M^2} of [0,1]2[0,1]^2, where MM is the set of all elements xx in [0,1][0,1] such that x&xx\& x is idempotent. Secondly, it is shown that all Yoneda complete real-enriched categories valued in the set MM and Yoneda continuous [0,1][0,1]-functors form a cartesian closed category.

Keywords

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

R2 v1 2026-06-28T14:06:39.123Z