The homological theory of contravariantly finite subcategories:auslander-buchweitz contexts, gorenstein categories and (co-)stabilization