cat.boffosocko.com
Question about Questionable Category (Remark 5.1.1.6 Book)
In the remark author says: A. there is a function U:Ob(Q)→Ob(C), B. for all a,b∈Ob(Q), we have an injection U:HomQ(a,b)↪HomC(U(a),U(b)), Why is the function and injection both called U ? Shouldn&#8…