The categorical theory generated by a limit sketch (1994)

by M Barr, C Wells