k / k-variety