Enriched category

Enriched functor

Let be -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

#state/tidy | #lang/en | #SemBr