An Elementary Theory of the Category of Sets.¶
Lawvere, F. W. (1964). An Elementary Theory of the Category of Sets. Proceedings of the National Academy of Sciences, 1506-1511.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Natural Number
- Lawvere’s categorical natural-numbers object compresses this point into a universal property: for any object with a chosen starting point and endomorphism, there is a unique structure-preserving map from the natural-numbers object.
This sourcePrimary source stating the natural-numbers object through its universal recursion property.
- Lawvere’s categorical natural-numbers object compresses this point into a universal property: for any object with a chosen starting point and endomorphism, there is a unique structure-preserving map from the natural-numbers object.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:dab7ad43792d · see in the full table