Injective obects behave a lot like limits. For instance:
- The limit of an injective is an injective.
- If a left adjoint preserves monomorphisms, then the right adjoint preserves injectives.
Given this, is it possible to define an injective as a limit, perhaps in some suitable comma category?