Introductory notes on real-enriched categories
Category Theory
2024-07-31 v2
Abstract
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 composed of the unit interval and a continuous t-norm. These notes present a brief introduction to such categories, focusing on the presheaf monad and its submonads in the category of real-enriched categories.
Keywords
Cite
@article{arxiv.2403.09716,
title = {Introductory notes on real-enriched categories},
author = {Dexue Zhang},
journal= {arXiv preprint arXiv:2403.09716},
year = {2024}
}
Comments
116 pages