| 11. | It follows that immersed submanifolds are precisely the images of injective immersions.
|
| 12. | Every object in a Grothendieck category has an injective hull.
|
| 13. | An immediate corollary is that an injective cellular automaton must be surjective.
|
| 14. | The space of injective maps is invariant and acts freely on it.
|
| 15. | A torsionless module is one for which the canonical homomorphism is injective.
|
| 16. | Dedekind finite naturally means that every injective self-map is also surjective.
|
| 17. | A function with a left inverse is necessarily injective.
|
| 18. | A partial function may be both injective and surjective.
|
| 19. | An operator may be injective, even bounded below, but not invertible.
|
| 20. | Such a functor is necessarily injective on objects up-to-isomorphism.
|