0082132人目の素数さん垢版 | 大砲2023/11/30(木) 21:41:28.89ID:cs8MUWrU >>81 テクニカルな話は https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/ を読んだほうが早いよ 要は関数解析における位相線形空間をcondensed集合の線形空間に 置き換えると、アーベル圏のホモロジー代数を展開できることをLeanで検証した