加载中…
2020-04-30
Elementwise semantics in categories with pull-backs
Anders Kock
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本