קטגוריות של תורות

בלוגיקה מתמטית, אומרים שתורה  היא קטגורית אם כל המודלים שלה איזומורפיים. במקרה כזה, ניתן לומר שהמודל  של התורה היחיד עד כדי איזומורפיזם, מגדיר אותה.

בלוגיקה מסדר ראשון, תורה קטגורית היא בהכרח בעלת מודלים סופיים בלבד. זו מסקנה ישירה ממשפט לוונהיים-סקולם, שכן אם היה לה מודל אינסופי, אז היה לה מודל מכל עוצמה אינסופית (עם זאת, בלוגיקות מסדר גבוה יותר, ייתכנו תורות קטגוריות בעלות מודלים אינסופיים: למשל לאקסיומות פיאנו מסדר שני יש מודל אחד עד כדי איזומורפיזם, והוא ). בנוסף, תורה קטגורית היא בהכרח שלמה (אך ההפך לא נכון; יש למשל תורות שלמות בעלות מודלים אינסופיים). זאת כי איזומורפיזם גורר שקילות אלמנטרית, ולכן כל שני מודלים של התורה שקולים אלמנטרית, וזאת אם ורק אם היא שלמה.

ניתן הגדרה עדינה יותר: אומרים שתורה  היא -קטגורית אם כל המודלים שלה מעוצמה  איזומורפיים.

 שימוש ב--קטגוריות ככלי להוכחת שלמות של תורות 
פעמים רבות, נוח להוכיח שלמות של תורות באמצעות -קטגוריות. זה נובע מהמשפט הבא: 
משפט: תהי  עוצמה כלשהי, לפחות כעוצמת השפה. אם תורה  היא -קטגורית, וכל מודל שלה הוא אינסופי, אז  שלמה.

הוכחה: נניח בשלילה ש- לא שלמה. אז קיים פסוק  כך ש- וגם . מכך ש- נובע ש- עקבית (חסרת סתירה), ולכן ממשפט השלמות קיים מודל . מההנחה מודל זה אינסופי, ולכן ממשפט לוונהיים-סקולם יש מודל  מעוצמה . באופן דומה, מ- נקבל שיש מודל  מעוצמה . אז בפרט  מודלים ל-, אבל הם לא איזומורפיים כי הם לא שקולים אלמנטרית:  אך  ולכן . קיבלנו סתירה להנחה ש- היא -קטגורית.

 דוגמאות 
 ניקח שפה עם סימן השוויון  ושלושה סימני קבועים . ניקח תורה עם האקסיומות הבאות:      זו תורה קטגורית, כי בכל מודל  שלה יש שלושה איברים בדיוק (מהאקסיומה הראשונה), והם פירושי הקבועים , ששונים זה מזה (מהאקסיומה השנייה).
 אם בדוגמה הקודמת היינו מוותרים על האקסיומה השנייה, אז התורה לא הייתה קטגורית, כי קיים מודל בו כל סימני הקבועים מתאימים לאותו איבר, למשל (כלומר ).
 ניקח הפעם שפה עם סימן השוויון , ועם סימני קבועים . ניקח את התורה הבאה:  . אז כל מודל  של  אינסופי, כי יש בו אינסוף איברים שונים שהם פירושי הקבועים . נבחין כי  לא -קטגורית: הרי נוכל לקחת מודל  שלה המכיל את פירושי הקבועים בלבד, ומודל  המכיל איבר נוסף, ואז אין איזומורפיזם ביניהם (כי איזומורפיזם שומר על קבועים). אמנם, נבחין ש- היא -קטגורית לכל : בהינתן שני מודלים מעוצמה , נוכל להתאים את פירושי הקבועים זה לזה (כלומר להתאים ), ואת יתר  האיברים להתאים על ידי איזומורפיזם של קבוצות, שמתאים גם כאיזומורפיזם של מודלים כי אין יחסים עליהם יש לשמור ביחס אליהם. מהמשפט לעיל נקבל כי  שלמה.
 נעיין בתורת המספרים עם פונקציית העוקב בלבד. נטען שהיא שלמה, ונראה זאת בעזרת המשפט שלעיל. אכן, כל מודל שלה אינסופי, שכן הוא מכיל עותק של , וכן מספר עותקים כלשהו של . ברור שהיא לא -קטגורית, כי יש לה מודל המכיל עותק של  בלבד, ומודל אחר שמכיל בנוסף עותק של , ומודלים אלו לא איזומורפיים. אבל היא כן -קטגורית לכל , כי בהינתן שני מודלים מעוצמה , נוכל להתאים בין העותקים של  שבהם, וכן בין  העותקים של  שיש בכל אחד מהם. מכאן שזו תורה שלמה.
 תורת הסדר המלא הצפוף בלי קצוות היא שלמה, שכן כל מודל שלה אינסופי, וניתן להראות שהיא -קטגורית, על ידי בניית התאמה בין שני סדרים צפופים בני-מנייה.
 תורת המרחבים הווקטוריים מעל שדה  כלשהו בן מנייה היא שלמה. היא לא -קטגורית כי למשל  לא איזומורפיים, כי הם לא מאותו מימד מעל : הראשון ממימד  ואילו השני ממימד . אמנם, לכל  התורה כן -קטגורית. מכיוון שאיבר כללי במרחב הוא צירוף ליניארי סופי של איברי בסיס, נובע שכל מרחב וקטורי מעוצמה  הוא ממימד  מעל , ולכן יש איזומורפיזם בין כל שני מרחבים וקטוריים מעוצמה .
 תורת השדות הסגורים אלגברית ממציין כלשהו היא שלמה. זאת כי כל שדה סגור אלגברית הוא אינסופי (הרי בהינתן שדה  סופי, הפולינום  מקיים  לכל  ואזי אין לו שורש בשדה, ומכאן ש- לא סגור אלגברית). בנוסף, לפי משפט, בהינתן עוצמה  ומאפיין כלשהו, יש רק שדה סגור אלגברי אחד מעוצמה וממאפיין אלו עד כדי איזומורפיזם. לכן התורה היא -קטגורית לכל , ונובע כי היא שלמה.

קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:לוגיקה מתמטית