add ∘ as an alias for map (category theory)