A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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 bedoi:10.4000/philosophiascientiae.413 fatcat:jqeovpr3sjddvg6r4iaebr2crq