0851132人目の素数さん
2024/04/10(水) 20:27:00.38ID:jd5LG++Cまず望月新一京大RIMS教授らはRobertsをIUTのworkshopへ誘った。
で、Robertsの射影直線のexerciseにはwoit氏のブログコメントをみると
今だに答えられないみたいだね。まあ IUTの信奉者はRCSと連呼しているけど、、
https://thehighergeometer.wordpress.com/2021/11/22/an-exercise-in-colimits/