Birgit Richter From Categories to Homotopy Theory