圏論って間違えて言ってるのを集合論として修正してやったとしても
形式主義が気に食わないと言いながら形式主義の極地の圏論的な定式化を持ち上げるってのは
どういう認識してるのか謎だなと