Lurie는 그냥 (infty,1)-topos에서 한 것만이 차이인데 왜 Lurie를 언급하는 지도 모르겠고,


7cea8473bd8a68f436ed8fe44f9f3433f647cbec6e73a75387018a460f

대놓고 정의부터 functorial하게 하는데 뭐가 그렇게 특별한지 모르겠는데.


솔직히 가볍게 읽어보니 diffeological한 것과 그렇게 다른 세팅인지도 모르겠어


얼마나 진지하게 하는 말인지 모르겠고 얼마나 장난치고 싶은 마음인지 모르겠는데


저 논문(?)을 가져오는 게 웃기네 여러모로...