普遍量化子

全て 名詞
2 の例文 (0.00 秒)
  • ここで と の普遍量化子の順序は重要でないが、 の普遍量化子と の存在量化子の順序は重要である。 ...
  • 彼のシカゴでの講義である圏論的力学は、トポス理論へ向かってのステップであり、さらにニューヨーク州立大学での講義は彼が1963年にその存在を発見した超教義高等圏論的論理学の使用は、普遍量化子が随伴関手の特別な場合を特徴づける。 ...