Pushing Categories