21/09/23 09:20:41.20 j/zPNVjX.net
>>529
＞「宇宙際による圏の取説」は、面白そう
元の関数に宇宙際で被覆する圏で、被覆する圏は遠アーベルで扱える圏にするけど、
圏と元の関数の高さhを微分の範囲で、積分の大域化すると被覆する圏との誤差になるが、
元の関数の被覆がよくできると高さhが小さくなるから、精度が高いので誤差εが小さく、
>>470、>>497で、
ABCからLへの変換のとき、誤差(K,ε)項目で、ABCでのIUTⅣのの誤差εで零点に抑えることができた、
のであれば、元関数に宇宙際で被覆をつくるのは「有用」、ということになる。