$\Bbb R$ is colimit-dense in the category of real vector spaces but not dense (see 6.F, 6.34 in my book with J. Ad' amek "Locally presentable and accessible categories"Adámek "Locally presentable and accessible categories").
Andrej Bauer
- 48.8k
- 11
- 131
- 239