3 citations · 5 across the 2 of their papers we have counts for
3 papers
math.AT2019★ 2 cited
Quantales, persistence, and magnitude homology
Simon Cho
We construct a nerve functor parametrized by a choice of quantale, exhibiting both the Vietoris-Rips complex and the magnitude nerve as instances of this nerve for different choice…
math.CT2019★ 3 cited
Categorical semantics of metric spaces and continuous logic
Simon Cho
Using the category of metric spaces as a template, we develop a metric analogue of the categorical semantics of classical/intuitionistic logic, and show that the natural notion of…
math.LO2016
An application of continuous logic to fixed point theory
Simon Cho
In aiming to apply to a broader class of examples the Avigad-Iovino "ultraproducts and metastability" approach to obtaining uniformity for convergence of sequences, we construct a…