feat(CategoryTheory): constructor for abelian categories#35381

joelriou wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

joelriou:abelian-constructorjoelriou/mathlib4:abelian-constructorCopy head branch name to clipboard