Navigation – Plan du site

Two Constructivist Aspects of Category Theory

Colin McLarty
p. 95-114

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.

Haut de page

Pour citer cet article

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 25 juillet 2017. URL : http://philosophiascientiae.revues.org/413 ; DOI : 10.4000/philosophiascientiae.413

Haut de page

Auteur

Colin McLarty

Case Western Reserve University (USA)

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page