David Ellerman : concrete universals in category theory
Le lien est ici: http://www.ellerman.org/Davids-Stuff/Maths/Conc-Univ.pdf J’avais déjà commenté ce travail dans une page distinguant deux universalismes: abstrait ensembliste et concret catégorique: https://mathesisuniversalis.wordpress.com/universalisme-abstrait-de-la-theorie-des-ensembles-vs-universalisme-concret-de-la-theorie-des-categories/ Revenons y pour tenter de mieux comprendre la notion mathématique de propriété universelle dont nous avons vu combien elle est obscurcie des qu’elle quitte le terrain des pures définitions pour celui de la … Lire la suite David Ellerman : concrete universals in category theory
1 Commentaire