Open Access. Powered by Scholars. Published by Universities.®
- Keyword
Articles 1 - 2 of 2
Full-Text Articles in Logic and Foundations
Category Theory And Universal Property, Niuniu Zhang
Category Theory And Universal Property, Niuniu Zhang
Honors Theses
Category theory unifies and formalizes the mathematical structure and concepts in a way that various areas of interest can be connected. For example, many have learned about the sets and its functions, the vector spaces and its linear transformation, and the group theories and its group homomorphism. Not to mention the similarity of structure in topological spaces, as the continuous function is its mapping. In sum, category theory represents the abstractions of other mathematical concepts. Hence, one could use category theory as a new language to define and simplify the existing mathematical concepts as the universal properties. The goal of …
Choice Of Choice: Paradoxical Results Surrounding Of The Axiom Of Choice, Connor Hurley
Choice Of Choice: Paradoxical Results Surrounding Of The Axiom Of Choice, Connor Hurley
Honors Theses
When people think of mathematics they think "right or wrong," "empirically correct" or "empirically incorrect." Formalized logically valid arguments are one important step to achieving this definitive answer; however, what about the underlying assumptions to the argument? In the early 20th century, mathematicians set out to formalize these assumptions, which in mathematics are known as axioms. The most common of these axiomatic systems was the Zermelo-Fraenkel axioms. The standard axioms in this system were accepted by mathematicians as obvious, and deemed by some to be sufficiently powerful to prove all the intuitive theorems already known to mathematicians. However, this system …