Category theory for programmers, chapter 5.5 products & chapter 5.6 coproduct 这两个部分粗略的读了一下,需要回头细读。
评论