стрелкам, сопряжениям, представимости и т.п.? В Algebra of Programming понятные примеры, но мало рассказывают (даже про пределы диаграм не говорят), в Макклейне рассказывают, но там математические примеры которые мне не очень хочется читать. Типа охуенно конечно что тензорное произведение колец или действие группы на нем, но понятно не очень сильно. В Category theory for Programmers вообще ничего хорошего.
https://arxiv.org/abs/1612.09375
I have assumed no more mathematical knowledge than might be acquired from an undergraduate degree at an ordinary British university
Обсуждают сегодня