Như chúng ta đã thấy trong Ví dụ 3 trong bài blog trước, ta có thể xem một hàm tử (functor) như một mũi tên/cấu xạ giữa hai phạm trù (category).

…mọi phép ẩn dụ (analogy) đủ tốt đều “khao khát” trở thành một hàm tử.

]]>