This is used in Categories for the Working Mathematician to introduce two opposing functors U,V between the category of sets and the category of K-vector spaces, where K is a field.
Can this be done in a LaTeX code that renders on MSE?
This is used in Categories for the Working Mathematician to introduce two opposing functors U,V between the category of sets and the category of K-vector spaces, where K is a field.
Can this be done in a LaTeX code that renders on MSE?