Explore Books on
adjoint functors (universal constructions reflective subcategories kan extensions etc.)