Mathematics of Topological Quantum Computing