在数学中，抽象化是提取数学概念的本质的 过程，这样的话就去除了与原来有关联的现实中的对象的依赖关系，并对其进行泛化，使其具有更广泛的应用，从而与其他等效现象的抽象描述相匹配。现代数学中最为抽象的两个领域是 范畴论和 模型论。