こないだのトポスの話の続きで混乱中。 Mitchell-Bénabou language http://ncatlab.org/nlab/show/Mitchell-B%C3%A9nabou+language はΩに関する射を使っていて、 Kripke-Joyal semantics http://ncatlab.org/nlab/show/Kripke-Joyal+semantics はsubjobjectを使っているけれど、この違いはどう考えれば良いのだろう……