  We explicitly study Kato's residue homomorphisms in Milnor $K$-theory, which
are closely related to Contou-Carr\`ere symbols. As applications we establish
several reciprocity laws for certain locally defined maps on $K$-groups that
are associated to arithmetic surfaces.
