Enrichment is the categorical method of expressing that morphisms of a certain previewcategory come with extra structure. For instance, monotone maps in can themselves be equipped with a (pointwise) ordering, meaning that for every poset and , is more than a set, it is a poset.Categorical Enrichment