mathlib

e1bed5a0 - fix(category_theory/adjunction/limits): remove bad instance (#9157)

fix(category_theory/adjunction/limits): remove bad instance (#9157) Per @fpvandoorn's [new linter](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/type-class.20loops.20in.20category.20theory).