题之上。在拓扑空间上如基本群或基本群胚等基本的架构，可以表示成由群胚所组成的范畴之间的基本函子，而这个概念在代数及其应用之中是很普遍的。
自然变换.再抽象化一次，架构通常会「自然地相关连」，这个第一眼会觉得很暧昧的概念，产生了自然变换（将一个函子映射至另一函子的方法）此一清楚的概念。许多数学上的重要架构可以从此一角度来研究。
历史注记.范畴、函子和自然变换是由塞缪尔·艾伦伯格和桑德斯·麦克兰恩在1945年引进的。这些概念最初出现在拓扑学，尤其是代数拓扑学里