Autonomous equational categories (1966)

by F E J Linton
Venue:J. Math. Mech