The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the Element considers three further perspectives formulated by logicians and philosophers of sui generis, treating structures as abstract universals, modal, eliminating structures as objects in favor of freely entertained logical possibilities, and finally, modal-set-theoretic, a sort of synthesis of the set-theoretic and modal perspectives.
Spekiklúbburinn hér syðra var að lesa þessa. Bókin stiklar á stóru og kannski erfitt að átta sig alveg á hlutunum bara með því að lesa hana. Kaflinn um sögulegan bakgrunn formhyggjunnar var samt mjög skemmtilegur. Áhugavert viðfangsefni sem færri stærðfræðingar kynna sér en ættu að gera það. Formhyggjan er ekki alveg jafn örugg og margir halda.