Это другое, это теоркат, он требует определнной математической грамотности, т.к. область математики про аналогичные структуры в областях математики, очевидно, будет использовать кучу аналогий из других областей математики.
Мне кажется, проблема теорката не в том, что он ссылается на многие другие разделы математики в качестве примеров. Проблема теорката (кстати формальные системы ведь тоже так же тяжело даются людям) в их "слишком высокой" абстрактности и неумении из таких абстракций извлекать хоть какой-то смысл. Вон половина Хаскелевых туториолов до сих пор на полном серьезе утверждают, что функтор "сохраняет" структуру, хотя на самом деле "неразрывает" подошло бы гораздо больше. Даже такие вещи уже сильно вводят в заблуждение при попытке нематематика хоть как-то познакомиться с этими знаниями.
