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