Categories is a mathematical language develped after set theories. I is a basic language for new branches in mathmatic for a few decades. In addation, it is helpful to research in theoretical physics.