Choose a background or upload your own photo, then download a shareable quote image.
Your file stays in the browser; nothing is sent to the server.
Choose a background or upload your own photo, then download a shareable quote image.
The standard "foundation" for mathematics starts with sets and their elements. It is possible to start differently, by axiomatising not elements of sets but functions between sets. This can be done by using the language of categories and universal constructions.