论文标题
elementwise语义类别与背带的类别
Elementwise semantics in categories with pull-backs
论文作者
论文摘要
我们扩展了（“ kripke-joyal”）的使用 - 在承认背包的类别中推理。目的是在这种情况下给出喷气机的理论。
We extend the use of ("Kripke-Joyal")- reasoning in categories admitting pull-backs. The aim is to give a theory of jets in this context.
