UMS Talk – Dr. Fairbanks
The Category of Sets and Constructing Combinatorial Data Structures. Abstract: Set theory is the foundation of modern mathematics, but the commonly used foundations are poorly suited for the everyday reasoning of mathematicians. They are also poorly suited for implementation in software. This talk will present an axiomatization of Set Theory due to Lawvere (1964) as […]