Remarks on algebraically compact categories (1991)

by P J Freyd
Venue:In Applications of Categories in Computer Science