この人って選択公理・圏論については詳しいのにTwitterでは数学に全く関係のない事だけ呟いてんな