Now that I think about it, the \$$\mathrm{hom}\$$ functor reminds me lot of a [double-ended queue](https://en.wikipedia.org/wiki/Double-ended_queue).