אין באמת דבר כזה מתמטיקה עיונית או טהורה (pure), הכל שימושי... https://arxiv.org/pdf/1406.3905 רק שקשה למצוא מהנדסים שלמדו תורת הקטגוריות... :-D