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

вот попроще: An introduction to Category Theory for Software Engineers а вот оригинал Баеза, для тех, кто по-английски читает: http://math.ucr.edu/home/baez/rosetta.pdf