Samuel Eilenberg and Saunders Mac Lane introduced the concepts of categories, functors, and natural transformations in 1942–45 in their study of algebraic topology, with the goal of understanding the processes that preserve mathematical structure. Samuel Eilenberg và Saunders Mac Lane giới thiệu các khái niệm về loại, functors, và biến đổi tự nhiên trong nghiên cứu của họ về topo đại số thời gian từ từ 1942-1945, với mục tiêu tìm hiểu các quá trình bảo tồn cấu trúc toán học.
