We know that group theory is the mathematical foundation of symmetry-breaking orders. What is the mathematical foundation of topological order? It was found that a subclass of 2+1D topological orders—Abelian topological orders—can be classified by a K-matrix approach. The string-net condensation suggests that tensor category (such as fusion category or monoidal category) is part of the mathematical foundation of topological order in 2+1D. The more recent researches suggest that (up to invertible topological orders that have no fractionalized excitations):