adjunctions-4.2.1: Adjunctions and representable functors
Adjunctions and representable functors
Modules