### 煙から火を導出すること : トポス理論の観点から

*深山, 洋平*

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

#### Abstract

The first aim of this paper is to explicate the intention of a picture which was found on the introduction Web page of emeritus Koji Nakatogawa at Hokkaido University and which visualizes inference from seeing smoke at some place to the existence of fire there. It turns out that the picture is influenced from a book whose authors include mathematician F. W. Lawvere and that the intention is clarified by using Lawvere's elementary topos theory. The second aim is to point out a conflict between Nakatogawa's view that "static" set theory is opposed to "dynamic" category theory and Lawvere's conception of the topos of abstract sets and that of variable sets.

FULL TEXT:PDF