Category theory invariances and symmetries in computer science - Majkić, Zoran 19XX- (De Gruyter, 2023)