nLab
free-forgetful adjunction