Two Constructivist Aspects of Category Theory
Résumé
Category theory has two unexpected links to constructivism: First, why is topos logic so close to intuitionistic logic? The paper argues that in part the resemblance is superficial, in part it is due to selective attention, and in part topos theory is objectively tied to the motives for later intuitionistic logic little related to Brouwer’s own stated motives. Second, why is so much of general category theory somehow constructive? The paper aims to synthesize three hypotheses on why it would be so, with three that suggest it is not.
Pour citer cet article
Référence papier
Colin McLarty, « Two Constructivist Aspects of Category Theory », Philosophia Scientiæ, CS 6 | 2006, 95-114.
Référence électronique
Colin McLarty, « Two Constructivist Aspects of Category Theory », Philosophia Scientiæ [En ligne], CS 6 | 2006, mis en ligne le 01 septembre 2009, consulté le 21 janvier 2025. URL : http://journals.openedition.org/philosophiascientiae/413 ; DOI : https://doi.org/10.4000/philosophiascientiae.413
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page
Flux RSS
