Theories as categories (1986)

by Michael Fourman, S Vickers
Venue:In Category Theory and Computer Programming