Introductory notes on real-enriched categories | Synapse