Last Updated: June 08, 2019
·
29
· beezee

Adjoint perspectives on composition

the covariant side of a composition is in a contravariant relationship to the
contravariant side of the composition which is in a covariant relationship to
the (f (fix f))

(a -> ?) -> (? -> b)