abstract
An adjunction formed by two functors F
and G
such that F
is left-adjoint to G
.
The composite functor GF is a monad and the composite functor FG is a comonad.
The minimal definition is either (unit, counit) or (leftAdjunct, rightAdjunct)
- Companion
- object
Value members
Concrete methods
Adjunctions compose in a natural fashion. If F -| G
is an adjunction, and P -| Q
is an
adjunction, then PF -| GQ is an adjunction. In fact, adjunctions in Scala form a monoid.
Adjunctions compose in a natural fashion. If F -| G
is an adjunction, and P -| Q
is an
adjunction, then PF -| GQ is an adjunction. In fact, adjunctions in Scala form a monoid.