adjunctions-4.4.2: Adjunctions and representable functors

adjunctions-4.4.2: Adjunctions and representable functors

Adjunctions and representable functors.

Modules