Defining sets as sets of points of spaces (Q1106844)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Defining sets as sets of points of spaces |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Defining sets as sets of points of spaces |
scientific article |
Statements
Defining sets as sets of points of spaces (English)
0 references
1988
0 references
The work of Dedekind and Cantor succeeded in reducing the continuum (the geometric line) to the theory of (discrete) sets. The author explains how, in an opposite direction, the discrete should be derived out of the continuous, conceived in Lawvere's spirit as some category (topos) of `spaces', for which the law of excluded middle does not hold. The spaces for which excluded middle does hold are, according to the present article, precisely the discrete sets; some axioms are presented, extending those of Synthetic Differential Geometry (in the sense of the reviewer's book of this title (1981; Zbl 0466.51008), say), which give discrete sets a status within the category of spaces. There are no proofs, but some acute historical remarks.
0 references
topos
0 references
excluded middle
0 references
Synthetic Differential Geometry
0 references
discrete sets
0 references
category of spaces
0 references