# Quotient category

In mathematics, a **quotient category** is a category obtained from another one by identifying sets of morphisms. Formally, it is a quotient object in the category of (locally small) categories, analogous to a quotient group or quotient space, but in the categorical setting.