范畴论 把很多代数群一起来研究,看看有各个代数群之间有什么共通的特性; 常用术语 Functor, Bifunctor, Profunctor, Monad, Comonad, Bimonad, MonoidK