I added a section called Functorial Properties of the Main Isomorphism.

Added a section based on our conversation at the Hua Ting Hotel, So
far, it just has place holders for the results we talked about, without
proofs. The first result I think I can prove without too much
difficulty. The rest is still under construction.