catgrad：使用范畴论和静态编译技术优化深度学习训练过程的编译器