source
source h
-- the source of a morphism h.