initial commit of topology notes.
add section on omnihosts to derive the definition of a basis.
Merge branch 'master' into gh-pages
build top