Commit 2024-02-25 22:07 3fe3c044
View on Github →feat(CategoryTheory): the quotient category is linear (#10887)
Under suitable assumptions on a congruence r on a R-linear category C, it is shown in this PR that Quotient r is also a R-linear category.
(This shall be applied to the homotopy category of homological complexes in a future PR.)