AlgebraicTopology_May_1999 documentation