Precedence: 9
`ho` - [H]om Functor c[O]variantHow to read: modify the covariant argument (second) as it was a Hom Functor.
You can think about it as a reverse composition operator, you can read applied morphisms from left to right - which is more convenient to read than vice versa. Compare it with ha operator:
f `ho` g `ho` h : _ `AR_` _
h `ha` g `ha` f : _ `AR_` _If you want to ignore input you can use hu - it works as a constant morphism.
It works identically to yio, the only difference is a glyph appearance.