remove neighborhood example

took some work but it wasn't a good idea, I don't need another
topological example
add index, use MathJax CDN
bibliography
transitive diagram
better transitive diagram
talkin' about frames