Pragmatism and category theory
Identifieur interne : 000953 ( Main/Curation ); précédent : 000952; suivant : 000954Pragmatism and category theory
Auteurs : Ralf Krömer [France]Source :
- Science Networks. Historical Studies ; 2007.
Abstract
Abstract: In the introduction, I said that the way mathematicians work with categories reveals interesting insights into their implicit philosophy (how they interpret mathematical objects, methods, and the fact that these methods work). On the grounds of the evidence presented, we can now observe that the history of CT shows a switch in this interpretation: at first, objects of categories were always interpreted as sets (as in the case of the representations of Eilenberg and Mac Lane; see section 5.4.4.2); the purely formal character of categorial concepts was acknowledged but not consequently stressed. What was stressed positively is that concerning the categories themselves, the “all” is to be taken seriously <#20 p.237>. One was not aware of the fact that the difference between set theory and formal CT allowed for an interpretation of CT beyond sets (as far as the objects are concerned). This changed with Grothendieck on the one hand and Buchsbaum on the other. Grothendieck was interested in infinitistic argumentation and tried to extend the scope of the (formal) concept of set. Buchsbaum was interested in formal purity. The result of this development is a new technical intuition. This paradigm change took a different shape in the American and the French community, respectively.
Url:
DOI: 10.1007/978-3-7643-7524-9_8
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :001A15
- to stream Istex, to step Curation: Pour aller vers cette notice dans l'étape Curation :001A15
- to stream Istex, to step Checkpoint: Pour aller vers cette notice dans l'étape Curation :000900
- to stream Main, to step Merge: Pour aller vers cette notice dans l'étape Curation :000960
Links to Exploration step
ISTEX:7F4BCC241190EBEBE0F6ADDD428AD4A1F81737EELe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Pragmatism and category theory</title><author wicri:is="90%"><name sortKey="Kromer, Ralf" sort="Kromer, Ralf" uniqKey="Kromer R" first="Ralf" last="Krömer">Ralf Krömer</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:7F4BCC241190EBEBE0F6ADDD428AD4A1F81737EE</idno><date when="2007" year="2007">2007</date><idno type="doi">10.1007/978-3-7643-7524-9_8</idno><idno type="url">https://api.istex.fr/document/7F4BCC241190EBEBE0F6ADDD428AD4A1F81737EE/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001A15</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001A15</idno><idno type="wicri:Area/Istex/Curation">001A15</idno><idno type="wicri:Area/Istex/Checkpoint">000900</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000900</idno><idno type="wicri:Area/Main/Merge">000960</idno><idno type="wicri:Area/Main/Curation">000953</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Pragmatism and category theory</title><author wicri:is="90%"><name sortKey="Kromer, Ralf" sort="Kromer, Ralf" uniqKey="Kromer R" first="Ralf" last="Krömer">Ralf Krömer</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>LPHS-Archives Poincaré (UMR7117 CNRS), Université Nancy 2, Campus Lettres 23, Bd Albert 1er, 54015, Nancy Cedex</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Nancy</settlement><settlement type="city">Nancy</settlement></placeName><orgName type="university">Université Nancy 2</orgName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s">Science Networks. Historical Studies</title><imprint><date>2007</date></imprint></series></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: In the introduction, I said that the way mathematicians work with categories reveals interesting insights into their implicit philosophy (how they interpret mathematical objects, methods, and the fact that these methods work). On the grounds of the evidence presented, we can now observe that the history of CT shows a switch in this interpretation: at first, objects of categories were always interpreted as sets (as in the case of the representations of Eilenberg and Mac Lane; see section 5.4.4.2); the purely formal character of categorial concepts was acknowledged but not consequently stressed. What was stressed positively is that concerning the categories themselves, the “all” is to be taken seriously <#20 p.237>. One was not aware of the fact that the difference between set theory and formal CT allowed for an interpretation of CT beyond sets (as far as the objects are concerned). This changed with Grothendieck on the one hand and Buchsbaum on the other. Grothendieck was interested in infinitistic argumentation and tried to extend the scope of the (formal) concept of set. Buchsbaum was interested in formal purity. The result of this development is a new technical intuition. This paradigm change took a different shape in the American and the French community, respectively.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Main/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000953 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Curation/biblio.hfd -nk 000953 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Mathematiques
|area= BourbakiV1
|flux= Main
|étape= Curation
|type= RBID
|clé= ISTEX:7F4BCC241190EBEBE0F6ADDD428AD4A1F81737EE
|texte= Pragmatism and category theory
}}
| This area was generated with Dilib version V0.6.33. |  |