The Universal Structure of Categories