Elementwise semantics in categories with pull-backs

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.