Journal article
Metric logical categories and conceptual completeness for first order continuous logic
Abstract
We begin the study of categorical logic for continuous model theory. In
particular, we 1. introduce the notions of metric logical categories and
Authors
Albert J-M; Hart B
Journal
, , ,
Publication Date
July 11, 2016
DOI
10.48550/arxiv.1607.03068