Без заголовка

Я уже пару лет назад понял, что я совсем не математик :). Т.е. теорию типов я еще могу разуметь, даже наверное в каком-нить новомодном observational расширении, но теорию категорий уже тяжело. Хотя мне Осман объяснял, вроде понятно, но у самого моск на эту тему не фокусируется совсем :).