Cada objeto no inicial en Set es inyectivo y (asumiendo axioma de elección) también proyectivo.