TY - RPRT TI - Introductory notes on real-enriched categories AU - Dexue Zhang PY - 2024 UR - https://arxiv.org/abs/2403.09716 ID - 2403.09716 ER -