Enriched category

Enriched functor

Let be [[Enriched category|-categories]]. An -functor¹ is the appropriate generalization of an ordinary functor. Thus it consists of

• A (class) function ;
• For every ordered pair a morphism

such that these data respect composition

and unitality

---

tidy | en | sembr

Footnotes

1. Also called a functor enriched over . ↩