范畴论

数学的一个分支，它将相同类型的数学对象（例如二元关系、群、集合、拓扑空间等）之间变换集合的许多代数性质形式化，并受限于集合包含恒等映射且关于映射的组合是封闭的。在范畴论中研究的对象称为范畴。