Locally presentable and accessible categories (1994)

by J Adámek, J Rosický