不是只专注在有特定结构的个别物件(如群)上,范畴论会着重在这些物件的态射(结构保持映射)上;经由研究这些态射,可以学到更多关于这些物件的结构。以群为例,其态射为群同态。两个群间的群同态会严格地“保持群的结构”,这是个以将一个群中有关结构的讯息运到另一个群的方法,使这个群可以看做是另一个群的“过程”。因此,对群同态的研究提供了一个得以研究群的普遍特性及群公理的推论的工具。
类似的研究也出现在其他许多的数学理论中,如在拓扑学中对拓扑空间的连续映射的研究(相关范畴称为Top),及对流形的光滑函数的研究等。
'''函子'''
实际上,即是定义了一个“范畴和函子”的范畴,其元件为范畴,(范畴间的)态射为函子。
经由研究范畴和函子,不只是学习了一类数学结构,及在其之间的态射;还学习了“在不同类型的数学结构之间的关系”。此一基本概念首次出现于代数拓扑之中。不同的“拓扑”问题可以转换至通常较易解答的“代数”问题之上。在拓扑空间上如基本群或基本群胚等基本的架构,可以表示成由群胚所组成的范畴之间的基本函子,而这个概念在代数及其应用之中是很普遍的。
'''自然变换'''