대수기하?
얼핏 듣기로는 순수수학 중에서도 굉장히 추상적인 거 한다고 들음
해당 댓글은 삭제되었습니다.
닉값하네
topos 하는걸로 알고 있음 0-categories의 category 집합 같은거 다루는거 ㅇㅇ
대수위상의 세팅에서 대수기하를 하는 사람인데, spectral algebraic geometry / derived algebraic geometry라고도 불림. 이런걸 하기 위에서 필요한 언어가 higher category/ higher topos여서 foundation을 다지는 일도 많이 했음
해당 댓글은 삭제되었습니다.
닉값하네
topos 하는걸로 알고 있음 0-categories의 category 집합 같은거 다루는거 ㅇㅇ
대수위상의 세팅에서 대수기하를 하는 사람인데, spectral algebraic geometry / derived algebraic geometry라고도 불림. 이런걸 하기 위에서 필요한 언어가 higher category/ higher topos여서 foundation을 다지는 일도 많이 했음