קטגוריות של תורות – הבדלי גרסאות

זו תורה קטגורית, כי בכל מודל <math>M</math> שלה יש שלושה איברים בדיוק (מהאקסיומה הראשונה), והם פירושי הקבועים <math>c_1^M, c_2^M, c_3^M</math>, ששונים זה מזה (מהאקסיומה השנייה).

* אם בדוגמא הקודמת היינו מוותרים על האקסיומה השנייה, אז התורה לא הייתה קטגורית, כי קיים מודל בו כל סימני הקבועים מתאימים לאותו איבר, למשל (כלומר <math>c_1^M = c_2^M = c_3^M</math>).

<math>T = \{\neg(c_i = c_j) \mid i \neq j\}</math>.