A small repo of the proof that an abelian group is injective iff divisible. Hopefully this will expand into a repo for injective objects, and then sheaf cohomology.