2016
DOI: 10.1007/s11229-016-1109-x
|View full text |Cite
|
Sign up to set email alerts
|

Univalent foundations as structuralist foundations

Abstract: The Univalent Foundations of Mathematics (UF) provide not only an entirely non-Cantorian conception of the basic objects of mathematics ("homotopy types" instead of "sets") but also a novel account of how foundations ought to relate to mathematical practice. In this paper, I intend to answer the question: In what way is UF a new foundation of mathematics? I will begin by connecting UF to a pragmatist reading of the structuralist thesis in the philosophy of mathematics, which I will use to define a criterion th… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
5
0
1

Year Published

2017
2017
2024
2024

Publication Types

Select...
6
2

Relationship

2
6

Authors

Journals

citations
Cited by 10 publications
(6 citation statements)
references
References 35 publications
0
5
0
1
Order By: Relevance
“…We could say that constructive abstraction 'forgets' inessential information in a controlled manner, that is, in such a way that the abstraction data can be fully recovered from (or faithfully encoded in) the abstracta. 26 From a philosophical perspective, some authors-notably Awodey [20] and Tsementzis [8,73]-have analysed UF in the light provided by a family of interrelated trends in philosophy of mathematics enveloped by the term mathematical structuralism (and mainly developed, in its different eliminativist and non-eliminativist variants, by Bourbaki, Benacerraf, Putnam, Resnik, Shapiro, Hellman and Parsons among others; see [74] and references therein). The idiosyncratic presentation of UF that we have proposed here is intended to consider UF from the standpoint provided by an alternative (and maybe complementary 27 ) conceptual framework that stresses above all the constructivist elan of UF.…”
Section: Discussionmentioning
confidence: 99%
“…We could say that constructive abstraction 'forgets' inessential information in a controlled manner, that is, in such a way that the abstraction data can be fully recovered from (or faithfully encoded in) the abstracta. 26 From a philosophical perspective, some authors-notably Awodey [20] and Tsementzis [8,73]-have analysed UF in the light provided by a family of interrelated trends in philosophy of mathematics enveloped by the term mathematical structuralism (and mainly developed, in its different eliminativist and non-eliminativist variants, by Bourbaki, Benacerraf, Putnam, Resnik, Shapiro, Hellman and Parsons among others; see [74] and references therein). The idiosyncratic presentation of UF that we have proposed here is intended to consider UF from the standpoint provided by an alternative (and maybe complementary 27 ) conceptual framework that stresses above all the constructivist elan of UF.…”
Section: Discussionmentioning
confidence: 99%
“…For some of the earlier writing that led to the ideas for UF see [35][36][37]. For a discussion of the sense in which UF is a foundation of mathematics and connections to mathematical structuralism, see [4,32,33]. For some philosophical issues associated to HoTT see [11,12,19,28].…”
Section: Introductionmentioning
confidence: 99%
“…Uma interessante objeção a essa afirmação foi posta porTsementzis (2017). Segundo essa objeção a linguagem da teoria das categorias na verdade não está em posição melhor do que as teorias de conjuntos tradicionais em fornecer uma linguagem adequada ao estruturalismo, i.e., uma linguagem cujo poder expressivo seja restrito as propriedades estruturais.…”
unclassified