Topological Library by S.P. Novikov