An enriched category is a category with some additional structure, eg. an (-1)-groupoid1 is a category enriched with ininity groupoid structure.

Footnotes

  1. Weak-Infinity Groupoid