> We'll just say we're working with the opposite category because flipping all those morphisms is a lot of work.
> Or, we could say you redefined "\\(g\\)" to mean "\\(h\\)", and vice versa. :)
Hey, this category is isomorphic to its dual! :D