donglicheng76357

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,