This is unsurprising given that abstract algebra/type theory/category theory are often viewed through the philosophical lens of Srtucturalism. https://en.wikip

This is unsurprising given that abstract algebra/type theory/category theory are often viewed through the philosophical lens of Srtucturalism. https://en.wikipedia.org/wiki/Structuralism_(philosophy_of_mathematics) https://en.wikipedia.org/wiki/Structuralism_(philosophy_of_m...