First case of \mathit{Hom}(F, G)

This is the beginning of the payoff of all the work done in the last
couple of months.
Tags: Added new tags