Nguồn: Hacker News
Tóm tắt
“Category Theory Illustrated” là một cuốn sách giáo khoa trực tuyến miễn phí giải thích lý thuyết danh mục (category theory) thông qua hình ảnh trực quan. Chương này tập trung vào khái niệm Orders (thứ tự) — một trong những cấu trúc toán học cơ bản được category theory trừu tượng hóa một cách đẹp đẽ.
Orders trong category theory mô hình hóa các quan hệ “nhỏ hơn hoặc bằng” một cách tổng quát. Partial orders, total orders, và lattices là các trường hợp đặc biệt quan trọng trong khoa học máy tính — chúng xuất hiện trong type systems, dependency resolution, build systems, và concurrent programming.
Tác giả Boris Marinov tiếp cận category theory theo hướng hình ảnh hóa, tránh ký hiệu toán học nặng nề, giúp developer có thể hiểu và áp dụng các khái niệm này vào lập trình thực tế. Chương về Orders đặt nền tảng cho các khái niệm phức tạp hơn như functors và monads sau này.
Đây là tài liệu học category theory được cộng đồng functional programming đánh giá cao, đặc biệt hữu ích cho những ai muốn hiểu sâu về Haskell, Scala, hoặc lý thuyết đằng sau type systems của các ngôn ngữ hiện đại.