Lawvere Categories as Composed PROPs

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_3 ◽

2016 ◽

pp. 11-32

Author(s):

Filippo Bonchi ◽

Pawel Sobocinski ◽

Fabio Zanasi

Download Full-text