Remarks on algebraically compact categories, in "Applications of Categories in Computer Science (1992)

by P J Freyd
Venue:Lecture Note Series 177