카테고리 이론

• composition-and-programming
• types-are-sets
• monad-functor-applicative
• order

참고

• Bartosz Milewski, Category Theory for Programmers.
• hmemcpy/milewski-ctfp-pdf
• Eugenia Cheng, Category Theory in Life.