2021/04/30 05:33Category theory is a universal modeling language http://math.mit.edu/~dspivak/informatics/