injective object
object 𝑋 in an abelian category such that hom(–,𝑋) is an exact functor to the opposite category of the category of abelian groups
injective sheaf
mathematical object in sheaf cohomology
injective metric space
type of metric space
injective module
module that makes certain exact sequences split