The Compactness Theorem for Enriched Logic

The framework of enriched logic extends positive logic (also known as coherent logic) from sets to structures internal to a symmetric monoidal closed category $\mathcal{V}$. This framework was developed by Rosický and the second-named author. The main novelty of this logic is that the arities of the