Advertisement
JoelSjogren

Untitled

Jun 11th, 2020
175
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.07 KB | None | 0 0
  1. right-adjoint (\x0 -> x1) y0 := y1
  2. where Hom(x0, y1) := Hom(x1, y0)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement