Enriched category

ID: enriched-category

Enriched category by Wikipedia Bot 0
The term "enriched category" typically arises in the context of category theory, a branch of mathematics that deals with abstract structures and relationships between them. In general, a category consists of objects and morphisms (arrows) that represent relationships between those objects. An **enriched category** expands this concept by allowing the hom-sets (the sets of morphisms between objects) to take values in a more general structure than merely sets.

New to topics? Read the docs here!