- 北海道大学哲学会 = The Philosophical Society of Hokkaido University
- 哲学 (ISSN:02872560)
- vol.42, pp.1-14, 2006-07-18
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.