At the middle of the century, a new mathematical theory was created by Samuel Eilenberg and Saunders Mac Lane, known as category theory, and it became a new contender for the natural language of mathematical thinking.
Στα μέσα του 20ου αιώνα δημιουργήθηκε μια νέα μαθηματική θεωρία από τον Samuel Eilenberg και τον Saunders Mac Lane, γνωστή ως θεωρία των κατηγοριών και έγινε υποψήφια για τη φυσική γλώσσα της μαθηματικής σκέψης.