Some useful structures for categorical approach for program behavior - Slodičák, Viliam (Array, 2011)