Trừu tượng hóa trong toán học là quá trình rút ra bản chất cơ bản của một khái niệm toán học, loại bỏ bất kỳ sự phụ thuộc nào vào các đối tượng trong thế giới thực mà nó có thể được kết nối ban đầu và khái quát hóa nó để nó có các ứng dụng rộng hơn hoặc phù hợp với các mô tả trừu tượng khác về các hiện tượng tương đương.[1][2][3] Hai trong số các lĩnh vực trừu tượng nhất của toán học hiện đại là lý thuyết phạm trù và lý thuyết mô hình.