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