Canonical Maps

In Elaine Landry (ed.), Categories for the Working Philosophers. Oxford, UK: pp. 90-112 (2018)
  Copy   BIBTEX

Abstract

Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations. We want here to concentrate on what we take to be one of its strengths: the explicit identification of so-called canonical maps and their role in mathematics. Canonical maps play a central role in contemporary mathematics and although some are easily defined by set-theoretical tools, they all appear systematically in a categorical framework. The key element here is the systematic nature of these maps in a categorical framework and I suggest that, from that point of view, one can see an architectonic of mathematics emerging clearly. Moreover, they force us to reconsider the nature of mathematical knowledge itself. Thus, to understand certain fundamental aspects of mathematics, category theory is necessary (at least, in the present state of mathematics).

Author's Profile

Jean-Pierre Marquis
Université de Montréal

Analytics

Added to PP
2019-01-29

Downloads
893 (#13,748)

6 months
168 (#14,656)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?