Last Updated: July 05, 2019
·
36
· beezee

Adjunctions

abstraction x -> y
x -> encapsulation y

instantiation = x -> encapsulation of abstraction of x
eta reduction = abstraction of encapsulation of y -> y

abstraction -| encapsulation
instantiation monad
eta reduction comonad