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