Вопрос на MathOverflow -- https://mathoverflow.net/questions/353853/coreflective-subcategories-in-grothendieck-locally-presentable-categories
