Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- right-adjoint (\x0 -> x1) y0 := y1
- where Hom(x0, y1) := Hom(x1, y0)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement