Die standardmäßige „Grundlage“ der Mathematik beginnt mit Mengen und ihren Elementen. Es ist möglich, anders zu beginnen, indem man nicht Elemente von Mengen, sondern Funktionen zwischen Mengen axiomatisiert. Dies kann durch die Verwendung der Kategoriensprache und universeller Konstruktionen erreicht werden.