Category theory allows you to walk up and down abstraction levels using the same constructions.