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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
Université de Lorraine
2006
|
| الوصول للمادة أونلاين: | https://doi.org/10.4000/philosophiascientiae.413 https://hdl.handle.net/20.500.13089/j15x https://journals.openedition.org/philosophiascientiae/413 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|