Talk:Density theorem (category theory)