Coarse geometry: a foundational and categorical approach with applications to groups and hyperspaces