Showing math.CTShow all
2 papers · 1 filter
math.CT2024
Introductory notes on real-enriched categories
Dexue Zhang
Real-enriched categories are categories with real numbers as enrichment. Precisely, a real-enriched category is a category enriched over the commutative and unital quantale compose…
math.CT2023
Smyth complete real-enriched categories
Junche Yu, Dexue Zhang
This paper investigates Smyth completeness of categories enriched over a quantale obtained by equipping the unit interval of real numbers with a continuous t-norm. A real-enriched…