Two Constructivist Aspects of Category Theory
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 intuit...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Éditions Kimé
2006-09-01
|
| Series: | Philosophia Scientiæ |
| Online Access: | http://journals.openedition.org/philosophiascientiae/413 |
| _version_ | 1797402454260711424 |
|---|---|
| author | Colin McLarty |
| author_facet | Colin McLarty |
| author_sort | Colin McLarty |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-09T02:25:32Z |
| format | Article |
| id | doaj.art-3d877054a28e4d13bd594841900317f8 |
| institution | Directory Open Access Journal |
| issn | 1281-2463 1775-4283 |
| language | deu |
| last_indexed | 2024-03-09T02:25:32Z |
| publishDate | 2006-09-01 |
| publisher | Éditions Kimé |
| record_format | Article |
| series | Philosophia Scientiæ |
| spelling | doaj.art-3d877054a28e4d13bd594841900317f82023-12-06T15:54:46ZdeuÉditions KiméPhilosophia Scientiæ1281-24631775-42832006-09-0169511410.4000/philosophiascientiae.413Two Constructivist Aspects of Category TheoryColin McLartyCategory 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.http://journals.openedition.org/philosophiascientiae/413 |
| spellingShingle | Colin McLarty Two Constructivist Aspects of Category Theory Philosophia Scientiæ |
| title | Two Constructivist Aspects of Category Theory |
| title_full | Two Constructivist Aspects of Category Theory |
| title_fullStr | Two Constructivist Aspects of Category Theory |
| title_full_unstemmed | Two Constructivist Aspects of Category Theory |
| title_short | Two Constructivist Aspects of Category Theory |
| title_sort | two constructivist aspects of category theory |
| url | http://journals.openedition.org/philosophiascientiae/413 |
| work_keys_str_mv | AT colinmclarty twoconstructivistaspectsofcategorytheory |