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
Written by Brian Zeligson
Related protips
Have a fresh tip? Share with Coderwall community!
Post
Post a tip
Best
#Category theory
Authors
Related Tags
#category theory
Sponsored by #native_company# — Learn More
#native_title#
#native_desc#