范畴论入门

本文旨在提供范畴论的入门指南，涵盖了范畴、函子、自然变换、单子、对偶、极限、colimit等核心概念，并结合集合论、类型论、函数式编程等领域进行了深入浅出的解释，强调了范畴论的哲学思想和数学本质。文章鼓励读者通过绘图和思考来理解这些抽象概念，并推荐了一些学习资源。