Бог даст, когда-нибудь приведу в порядок - тогда выложу в более читаемых форматах...
алгебра
анализ
геометрия
теория категорий
дифференциальная алгебра
дифференциальная геометрия
"Основные структуры дифференциальной алгебры" (черновик диссертации