Kategorické štruktúry a ich aplikácie v informatike - Novitzká, Valerie ([Equilibria], 2010)