Universal Constructions for (Co)Relations: categories, monoidal categories, and props

Fong, B; Zanasi, F; (2018) Universal Constructions for (Co)Relations: categories, monoidal categories, and props. Logical Methods in Computer Science , 14 (3) 10.23638/LMCS-14(3:14)2018 . Green open access

https://ift.tt/2Ud9l95