Year: 2016
Type: preprint
Abstract: We begin the study of categorical logic for continuous model theory. In particular, we 1. introduce the notions of metric logical categories and functors as categorical equivalents of a metric theory and interpretations, 2. prove a continuous version of conceptual completeness showing that $T^\eq$ is the maximal conservative expansion of $T$, and 3. define the concept of a metric pre-topos.
Source: arXiv (Cornell University)
Authors: Albert, Jean-Martin, Hart, Bradd
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2472292294