La teoría de categorías fue introducida en Topología algebraica, por Samuel Eilenberg y Saunders Mac Lane en 1942, en un importante paso para la transición desde homología a Teoría de la homología.