哲学 = Annals of the Philosophical Society of Hokkaido University;第42号

FONT SIZE:  S M L

F.W. ローヴェアによる随伴関手を用いた集合論の基礎の理解とその展望

深山, 洋平

Permalink : http://hdl.handle.net/2115/35041

Abstract

F.W. Lawvere described a certain interesting feature on G. Cantor's theory of cardinal numbers, using adjoint functors from the category theory. This paper provides a brief overview of the method he took, and then consider its significance. As a consequence, it is shown that he argues Cantor's theory of cardinal numbers in relationship to structured sets (specifically with topological structures,) and from the method we can get a hint to approach the nature of sets.

FULL TEXT:PDF