Characterization of diagrammatic categories (1966)

by M Bunge