Они мож и проявлялись в какой-то интуиции.
Но не нашёлся какой-то человек, чтоб что-то подсказать.
И сейчас, никто почти и не знает про категории, кроме некоторых преподавателей, но они не считают нужным знакомить с этим материалом...
Там у нас почти никто не занимается темами, где категории напрямую полезны.
Нет там алгебраической геометрии с топологией, например. Про гомологическую (ну или гомотопическую) алгебру почти никто не слышал...
Вот Марина молодец, собирала семинар, но это было уже более 10 лет спустя.
На самом деле, что-то мож было и раньше, но я просто не мог распознать.

Ну вот фидошечку читал, про типизацию и ML/Haskell узнал, Харрисона прочитал. Узнал про то, что категориями многое описывается и что они практически были сформированы алгебраической топологией и геометрией.
Начал пытаться что-то искать, интересоваться...
Кстати, не последюю роль сыграло желание разобраться с монадами как следует.
А к 2003 году уже и Маклейна новое издание подоспело. И тогда же, я узнал о том, что было и старое издание...