In 1942–45, Samuel Eilenberg and Saunders Mac Lane introduced categories, functors, and natural transformations as part of their work in topology, especially algebraic topology.
Το 1942-45, ο Samuel Eilenberg και ο Saunders Mac Lane εισήγαγαν τις κατηγορίες, τους συναρτητές, και τους φυσικούς μετασχηματισμούς ως τμήμα της εργασίας τους στην τοπολογία, ειδικά στην Αλγεβρική Τοπολογία.