[일반] 위상공간을 더 일반화 시킨게 뭐임?

[ScARfaC..(kayuaao)]

뭐 토포스 이런거 있던데 지금까지 알려진 일반화중에서 끝판왕이랄만한게 있음?

[익명(183.101)]

Grothendieck topos는 Grothendieck topology가 주어진 category 위의 sheaf들 (대략 함수들 모은 거)을 모은 건데, Grothendieck topology가 그냥 topology의 일반화라기엔 핀트가 좀 달라요. 요즘 위상쪽에선 ∞-category로 topological space를 대체하려고 하는 듯

[ScARfaCE(kayuaao)]

여태 토포스가 그냥 일반화라고만 알고있었는데 infinity category? 뭐임 이게 그냥 범주를 모은 범주같은거임? 듣도보도 못한거네

[익명(117.111)]

혹시 대수위상 쪽에 대한 지식이 있으신가요