On the learning category theory viewpoint, I mean something much broader than just ???Look, abelian groups are an example of an epireflective subcategory of groups!??? There is a pervasive set-flavored viewpoint that goes a long way to explain the structure of cocomplete categories, one that makes many results entirely natural.