Editing Sets for Mathematics (Book)
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 1: | Line 1: | ||
{{Stub}} | |||
{{InfoboxBook | {{InfoboxBook | ||
|title=Basic Mathematics | |title=Basic Mathematics | ||
Line 13: | Line 14: | ||
}} | }} | ||
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. | ||
== Table of Contents == | == Table of Contents == | ||
Line 124: | Line 123: | ||
| 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 \(Placeholder\) || 145 | ||
|- | |- | ||
| 8.4 || Measuring, Averaging, and Winning with | | 8.4 || Measuring, Averaging, and Winning with \(V\)-Valued Quantities || 148 | ||
|- | |- | ||
| 8.5 || Additional Exercises || 152 | | 8.5 || Additional Exercises || 152 | ||
Line 136: | Line 135: | ||
| 9.2 || Recursion || 157 | | 9.2 || Recursion || 157 | ||
|- | |- | ||
| 9.3 || Arithmetic of | | 9.3 || Arithmetic of \(N\) || 160 | ||
|- | |- | ||
| 9.4 || Additional Exercises || 165 | | 9.4 || Additional Exercises || 165 | ||
Line 142: | Line 141: | ||
! colspan="3" | 10. Models of Additional Variation | ! colspan="3" | 10. Models of Additional Variation | ||
|- | |- | ||
| 10.1 || Monoids, | | 10.1 || Monoids, Podsets, and Groupoids || 167 | ||
|- | |- | ||
| 10.2 || Actions || 171 | | 10.2 || Actions || 171 |