Algebraic topology, convex polytopes, and related topics