0

Forgetful functor U in one direction, free K-vector space functor V in other direction, Set to Vct_K

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?

0 Answers0