Uno también habla de objetos inyectivos en categorías más generales que las categorías de módulos, por ejemplo en categorías de funtores o en categorías de haces de O módulos sobre un cierto espacio anillado ("X", O).