mathlib3

0b8f638b - feat(category_theory/preadditive/injective): Adjoint functors preserves injective objects (#15935)

feat(category_theory/preadditive/injective): Adjoint functors preserves injective objects (#15935) For a pair of adjoint functors, if the left adjoint preserves monomorphism, then the right adjoint preserves injective object