Structure theory for pro-objects from an arbitrary category