Some proposals for the set-theoretic foundations of category theory

Autori

  • Lorenzo Malatesta University of Milan

DOI:

https://doi.org/10.13130/2037-4445/11085

Abstract

The problem of finding proper set-theoretic foundations for category theory has challenged mathematician since the very beginning. In this paper we give an analysis of some of the standard approaches that have been proposed in the past 70 years. By means of the central notions of class and universe we suggest a possible conceptual recasting of these proposals. We focus on the intended semantics for the (problematic) notion of large category in each proposed foundation. Following Feferman (2006) we give a comparison and evaluation of their expressive power.

Biografia autore

Lorenzo Malatesta, University of Milan

Graduate Student in Philosophy, University of Milan

 

BA in Philosophy, University of Milan, 2012

 

pietroangelo.casati@gmail.com

Dowloads

Pubblicato

2018-12-31

Fascicolo

V. 9 N. 2 (2018): Logica

Sezione

Special Issue - Articoli

Licenza

Gli autori mantengono i diritti di proprietà intellettuale per il proprio lavoro, mentre la rivista entra in possesso del diritto di esclusività riguardo la prima pubblicazione. La rivista si riserva la possibilità di creare un archivio Open Access sotto Licenza Creative Commons. Gli articoli sono pubblicato con una licenza Creative Commons By Attribution.