If we take a quotient of a (say, abelian) category by subcategory, this can be understood in a "naive" and "homotopy" sense. Is it written somewhere what a homotopy quotient category is, and whether some analogue of the "connecting homomorphism" exists?