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