Elementwise semantics in categories with pull-backs
From MaRDI portal
Publication:6339747
arXiv2004.14731MaRDI QIDQ6339747FDOQ6339747
Authors: Anders Kock 
Publication date: 30 April 2020
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.
Jets in global analysis (58A20) Foundations, relations to logic and deductive systems (18A15) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)
This page was built for publication: Elementwise semantics in categories with pull-backs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6339747)
