The categories of corings and coalgebras over a ring are locally countably presentable

Четвертая версия, расширенная с учетом замечаний рецензента -- https://arxiv.org/abs/2401.02928 . Собирался послать ее в Архив сегодня, чтобы не толпиться со всей толпой у дедлайна после выходных, но в итоге передумал и послал в Архив вчера, а сегодня уже в журнал, а то завтра выходной.