Open main menu
Home
Random
Log in
Settings
About The Portal Wiki
Disclaimers
The Portal Wiki
Search
Editing
Sets for Mathematics (Book)
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
{{InfoboxBook |title=Basic Mathematics |image=[[File:Lawvere Sets for Mathematics Cover.jpg]] |author=[https://en.wikipedia.org/wiki/William_Lawvere F. William Lawvere] |language=English |series= |genre= |publisher=Cambridge University Press |publicationdate=10 April 2003 |pages=276 |isbn10=0521010608 |isbn13=978-0521010603 }} 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.
Summary:
Please note that all contributions to The Portal Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
The Portal:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)