Compact notation for "morphism parameter" of a functor?

49 Views Asked by At

Sorry about the slightly horrible language in the title. This question isn't so much about a mathematical problem, but about notation; I'm writing up some notes in TeX, and thought about this in connection with the $Hom(\cdot,\cdot)$ (bi-)functor, and while it is straight forward to write $Hom(x,y)$ for objects $x$ and $y$, I feel there isn't a good compact notation for morphisms. I've been using something kludgy like $Hom([x \xrightarrow{f} y],[w \xrightarrow{h} z])$. Isn't there something better?