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