A abstração na matemática é o processo de extrair a essência subjacente de um conceito matemático, removendo qualquer dependência dos objetos do mundo real com os quais ela poderia estar originalmente conectada, e generalizando-a para que tenha aplicações mais amplas ou correspondência entre outras descrições abstratas de fenômenos equivalentes. . Duas das áreas mais abstratas da matemática moderna são a teoria de categorias e a teoria de modelos. [Matemática][Essência][Teoria das categorias][Teoria dos Modelos]