Jiří Rosický is a pure category theorist. One of his major contributions, jointly with Jiří Adámek, is the development of the theory of Locally Presentable and Accessible Categories.
locally presentable category
accessible category
Vopěnka's principle
Locally Presentable and Accessible Categories
quantale