CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC

DOI10.1017/jsl.2020.44zbMath1462.03031arXiv1901.09077OpenAlexW2912705627MaRDI QIDQ5855747

Simon Cho

Publication date: 19 March 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.09077

zbMATH Keywords

monoidal categorysubobject classifierregular categorypresheafquantalepseudometric spacecontinuous logicuniformly continuous mapgeometric categoryregular monomorphismcontinuous subobjectpredicate classifier

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Categorical logic, topoi (03G30) Many-valued logic (03B50) Quantales (06F07) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Categories of topological spaces and continuous mappings (18F60)

Related Items (1)

A topos for continuous logic

Cites Work

• Model theory of operator algebras. II: Model theory
• Sheaves in geometry and logic: a first introduction to topos theory
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Ultraproducts and metastability
• Continuous first order logic and local stability
• Stability and stable groups in continuous logic
• Model theory of operator algebras III: elementary equivalence and II₁factors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC