Entries from 2009-09-11 to 1 day
7.4 Composite maps 今度は関数合成と canonical extension が可換になるかどうかという話。位相的な特徴づけをします。まず使う位相の定義。ブール代数の canonical extension の上で次の位相を考える。 : up-directed joins で閉じた down-set が閉集合 (S…
7.4 Composite maps 今度は関数合成と canonical extension が可換になるかどうかという話。位相的な特徴づけをします。まず使う位相の定義。ブール代数の canonical extension の上で次の位相を考える。 : up-directed joins で閉じた down-set が閉集合 (S…