Positivity for K1 and K2

We will introduce the notion of a ring with a positive cone, and will construct the associated K1-semigroup and K2-semigroup as functors, which can be considered as some positive analogue of the usual K1-group and K2-group. Then we will study explicit structures of them for various cases, especially for fields.