3,613 followers
164 followers
RT @tri_iro: 最近書いた論文その1 https://t.co/VFLd4LgePz コンパクトとハウスドルフが双対っぽいという話.これは computable topology の文脈の論文なので表現空間の圏で証明しているけど,core-compactly gene…
640 followers
RT @tri_iro: 最近書いた論文その1 https://t.co/VFLd4LgePz コンパクトとハウスドルフが双対っぽいという話.これは computable topology の文脈の論文なので表現空間の圏で証明しているけど,core-compactly gene…
263 followers
RT @tri_iro: 最近書いた論文その1 https://t.co/VFLd4LgePz コンパクトとハウスドルフが双対っぽいという話.これは computable topology の文脈の論文なので表現空間の圏で証明しているけど,core-compactly gene…