Se utiliza la definición general siguiente: un objeto "Q" en la categoría "C" es inyectivo si para cualquier monomorfismo "f": "X" → "Y" en "C" y cualquier morfismo "g": "X" → "Q" existe un morfismo "h": "Y" → "Q" con "hf" = "g".