Title: First Course in Higher Non-Commutative Topology