K-theory, TC-theory, and Artin reciprocity..

I will give an introduction to K-theory and TC-theory, then explain how some very basic properties of these theories can be used to give a quick proof of the Artin reciprocity law for function fields. Afterwards I'll say something about the extra topological ingredient required to handle the number field case.