Thus split E-categories correspond exactly to true functors from E to the category of categories.
Έτσι χωρίζονται οι E-κατηγορίες που αντιστοιχούν ακριβώς στον πραγματικό συναρτητή από την Ε στην κατηγορία των κατηγοριών.