Results 1 
3 of
3
Does category theory provide a framework for mathematical structuralism?
 PHILOSOPHIA MATHEMATICA
, 2003
"... Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis à vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves ..."
Abstract

Cited by 10 (3 self)
 Add to MetaCart
Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis à vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell’s “manytopoi” view and modalstructuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried out relative to such domains; puzzles about “large categories ” and “proper classes ” are handled in a
Structuralism
"... With the rise of multiple geometries in the nineteenth century, and in the last century the rise of abstract algebra, of the axiomatic method, the settheoretic foundations of mathematics, and the influential work of the Bourbaki, certain views called “structuralist ” have become commonplace. ..."
Abstract
 Add to MetaCart
With the rise of multiple geometries in the nineteenth century, and in the last century the rise of abstract algebra, of the axiomatic method, the settheoretic foundations of mathematics, and the influential work of the Bourbaki, certain views called “structuralist ” have become commonplace.