2013-02-13 2013-01-23 圏論、意味論 動的意味論は、 従来の文の真偽値を集合論に基づいて求めるものではなく、 文のアップデート関数によって記述する。トポスは圏論の一つの例。 集合論ではなく、作用によって記述する。