[일반] 집합론 제외하면 큰 기수가 나오는 경우는 없나요?

[익명(115.69)]

도달 불가능한 기수 이런거는 수학 기초론 제외하면 사용하는 경우가 없나요? 

알레프 투 정도만 되도 없으려나... 

[익명(1.252)]

Infinite combinatorics? 근데 그게 그거인 분야라.. 난일단 이런걸 연구하는 사람을 본적 없는거 같음

[익명(121.88)]

도달 불가능 기수는 functor category의 크기때문에 나온 논의인데, 대수기하의 fpqc 위상에서 나옴. fpqc위상의 presheaf에 대한 sheafification은 일반적으로 존재할 수 없다고 함

[TQFT(lemonkx)]

topology에서 Milnor invariant가 사는 곳이 derived series에서 나오는 quotient라 transfinite한 곳까지 들어가서 생각하는 건 본 적이 있음