Enriched Category

An enriched category is a category with some additional structure, eg. an ($\infty$-1)-groupoid¹ is a category enriched with ininity groupoid structure.

Footnotes

1. Weak-Infinity Groupoid ↩