initial commit of topology notes.
add section on omnihosts to derive the definition of a basis.