Они мож и проявлялись в какой-то интуиции. Но не нашёлся какой-то человек, чтоб что-то подсказать. И сейчас, никто почти и не знает про категории, кроме некоторых преподавателей, но они не считают нужным знакомить с этим материалом... Там у нас почти никто не занимается темами, где категории напрямую полезны. Нет там алгебраической геометрии с топологией, например. Про гомологическую (ну или гомотопическую) алгебру почти никто не слышал... Вот Марина молодец, собирала семинар, но это было уже более 10 лет спустя. На самом деле, что-то мож было и раньше, но я просто не мог распознать.
Ну вот фидошечку читал, про типизацию и ML/Haskell узнал, Харрисона прочитал. Узнал про то, что категориями многое описывается и что они практически были сформированы алгебраической топологией и геометрией. Начал пытаться что-то искать, интересоваться... Кстати, не последюю роль сыграло желание разобраться с монадами как следует. А к 2003 году уже и Маклейна новое издание подоспело. И тогда же, я узнал о том, что было и старое издание...
no subject
Date: 2015-12-22 07:33 pm (UTC)Но не нашёлся какой-то человек, чтоб что-то подсказать.
И сейчас, никто почти и не знает про категории, кроме некоторых преподавателей, но они не считают нужным знакомить с этим материалом...
Там у нас почти никто не занимается темами, где категории напрямую полезны.
Нет там алгебраической геометрии с топологией, например. Про гомологическую (ну или гомотопическую) алгебру почти никто не слышал...
Вот Марина молодец, собирала семинар, но это было уже более 10 лет спустя.
На самом деле, что-то мож было и раньше, но я просто не мог распознать.
Ну вот фидошечку читал, про типизацию и ML/Haskell узнал, Харрисона прочитал. Узнал про то, что категориями многое описывается и что они практически были сформированы алгебраической топологией и геометрией.
Начал пытаться что-то искать, интересоваться...
Кстати, не последюю роль сыграло желание разобраться с монадами как следует.
А к 2003 году уже и Маклейна новое издание подоспело. И тогда же, я узнал о том, что было и старое издание...