https://ncatlab.org/nlab/show/quotient+category

strict localization...