6,489
edits
Sets for Mathematics (Book): Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{InfoboxBook | {{InfoboxBook | ||
|title=Basic Mathematics | |title=Basic Mathematics | ||
| Line 14: | Line 13: | ||
}} | }} | ||
The textbook '''''Sets for Mathematics''''' by [https://en.wikipedia.org/wiki/William_Lawvere F. William Lawvere] uses categorical algebra to introduce set theory. | The textbook '''''Sets for Mathematics''''' by [https://en.wikipedia.org/wiki/William_Lawvere F. William Lawvere] uses categorical algebra to introduce set theory. | ||
In parallel to Grothendieck, Lawvere developed the notion of a topos as a collection of objects/points behaving as sets and arrows as maps between sets. The utility of this is for a characterization of sets via mappings only - there is a unique (equivalence class of) set(s) with one element that can alternatively be described as only receiving one map from each other set. The number of maps in the other direction count the elements of sets conversely. Two element sets are an instance of "subobject classifiers" in the topos of sets such that the maps into them correspond to subsets of the source set of the map. The language of toposes is particularly accessible here, and plays a universal role in modern mathematics, e.g. for toposes emerging from sets parametrized by a topological space (presheaf toposes) even inspiring functional programming languages such as Haskell due to the logical properties of toposes. | |||
== Table of Contents == | == Table of Contents == | ||
| Line 123: | Line 124: | ||
| 8.2 || The Covariant Power Set Functor || 141 | | 8.2 || The Covariant Power Set Functor || 141 | ||
|- | |- | ||
| 8.3 || The Natural Map | | 8.3 || The Natural Map <math>Placeholder</math> || 145 | ||
|- | |- | ||
| 8.4 || Measuring, Averaging, and Winning with | | 8.4 || Measuring, Averaging, and Winning with <math>V</math>-Valued Quantities || 148 | ||
|- | |- | ||
| 8.5 || Additional Exercises || 152 | | 8.5 || Additional Exercises || 152 | ||
| Line 135: | Line 136: | ||
| 9.2 || Recursion || 157 | | 9.2 || Recursion || 157 | ||
|- | |- | ||
| 9.3 || Arithmetic of | | 9.3 || Arithmetic of <math>N</math> || 160 | ||
|- | |- | ||
| 9.4 || Additional Exercises || 165 | | 9.4 || Additional Exercises || 165 | ||
| Line 141: | Line 142: | ||
! colspan="3" | 10. Models of Additional Variation | ! colspan="3" | 10. Models of Additional Variation | ||
|- | |- | ||
| 10.1 || Monoids, | | 10.1 || Monoids, Posets, and Groupoids || 167 | ||
|- | |- | ||
| 10.2 || Actions || 171 | | 10.2 || Actions || 171 | ||