Ага, я был прав - не читали. В книжке. Если я не ошибаюсь, есть только одна. Ваша догадка неправильна.

Вряд ли теория категорий находится в плачевном состоянии, если Вы имеете возможность вести столь длинную беседу об этом разделе математики с человеком, который никоим образом не является специалистом в этом предмете. Более серьезно: теория категорий, изолированная от приложений, не очень интересна. В связи с приложениями - она более чем процветает.