Enriched category

Definition

Suppose $M$ is a monoidal category. A category enriched in $M$ is defined as a $C$ equipped with the following data:

A collection of objects $O b C$ .
For any objects $A, B \in O b C$ , an object $C (A, B) \in O b M$ .
For any object $A \in O b C$ , a unit map $u_{A}$ from the unit object in $M$ to $C (A, A)$ .
For any objects $A, B, C \in O b C$ , a morphism in $M$ :

$\circ : C (B, C) \otimes C (A, B) \to C (A, B)$

where $\otimes$ denotes the monoidal operation on $M$ .

satisfying the following conditions:

For any $A, B, C, D \in O b C$ , with $f \in C (A, B), g \in C (B, C), h \in C (C, D)$ , we have $h \circ (g \circ f) = (h \circ g) \circ f$ .
For any $A, B \in O b C$ , Fill this in later