случайно придумался какой-никакой, но гомотопический смысл для теоретико-множественного инварианта в
арифметике кардиналов (и вообще, равномощность это корасслоенность). Но это наблюдение
никому не интересно даже попробовать развивать дальше --- т.множественникам лень разбираться, как рисовать
диаграммы в категориях (без условия коммутативности!), а гомотопическим людям вообще непонятно,
почему это могло бы быть интересно, какой-то вырожденный недопример производного функтора....Ну
а автору надоело этим заниматься, и вообще он(и) из другой науки и не гомотопии, ни теория множеств им не интересна.
при этом, технически все абсолютно тривиально. ну а нетехнически --- никто не смотрел и смотреть не будет,
ибо типа интердисциплинарность....
любопытно, насколько это типичная ситуация?