Colimit-dense subcategories

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

Authors	ADÁMEK Jiří BROOKE-TAYLOR Andrew David CAMPION Tim POSITSELSKI Leonid ROSICKÝ Jiří
Year of publication	2019
Type	Article in Periodical
Magazine / Source	Commentationes Mathematicae Universitatis Carolinae
MU Faculty or unit	Faculty of Science
Citation
Web	https://dml.cz/handle/10338.dmlcz/147976
Doi	http://dx.doi.org/10.14712/1213-7243.2019.021
Keywords	locally presentable category; colimit-dense subcategory; Vopěnka’s principle
Description	Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vopenka’s Principle, we prove that a cocomplete category is locally presentable if and only if it has a colimit dense subcategory and a generator consisting of presentable objects.
Related projects:	Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku