Categories in Theory