Generalised Kawada-Satake method for Mackey functors in class field theory

We propose and study a generalised Kawada--Satake method for Mackey functors in the class field theory of positive characteristic. The root of this method is in the use of explicit pairings, such as the Artin--Schreier--Witt pairing, for groups describing abelian extensions. We separate and simplify the algebraic component of the method and discuss a relation between the existence theorem in class field theory and topological reflexivity with respect to the explicit pairing. We apply this method to derive higher local class field theory of positive characteristic, using advanced properties of topological Milnor K-groups of such fields