 Distributive category

In mathematics, particularly in category theory, a **distributive category** is a type of category that generalizes certain properties found in specialized algebraic structures, such as distributive lattices in order theory. While the term is not as widely recognized or standardized as others in category theory, it typically refers to a structure that satisfies specific distributive laws concerning the composition of morphisms and the behavior of products and coproducts.