Metodo

International Studies in Phenomenology and Philosophy

Book | Chapter

188660

From sets to types, to categories, to sets

Steve Awodey

pp. 113-125

Abstract

Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how do they differ? What advantages and disadvantages does each one have over the others? We pursue these questions by considering interpretations of each system into the others and examining the preservation and loss of mathematical content thereby.

Publication details

Published in:

Sommaruga Giovanni (2011) Foundational theories of classical and constructive mathematics. Dordrecht, Springer.

Pages: 113-125

DOI: 10.1007/978-94-007-0431-2_5

Full citation:

Awodey Steve (2011) „From sets to types, to categories, to sets“, In: G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, 113–125.