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