In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here.
Γενικά, όλες οι κατασκευές στην αλγεβρική τοπολογία είναι παραγοντικές• οι έννοιες της κατηγορίας, του συναρτητή και του φυσιολογικού μετασχηματισμού έχουν τις ρίζες τους εδώ.