Category Definition Mathematics