פונקטור

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