Elementwise semantics in categories with pull-backs
Category Theory
2020-05-01 v1
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.
Keywords
Cite
@article{arxiv.2004.14731,
title = {Elementwise semantics in categories with pull-backs},
author = {Anders Kock},
journal= {arXiv preprint arXiv:2004.14731},
year = {2020}
}