Elementwise semantics in categories with pull-backs
arXiv:2004.14731
Abstract
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.
arXiv:2004.14731
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.