activity
20062022
most citedQuantifier elimination and minimality conditions in algebraically closed valued fields

13 citations · 49 across the 18 of their papers we have counts for

collaborators

18 papers

math.CT2022

A graphical construction of free Markov categories

Yimu Yin

We describe how to perform surgeries on Joyal-Street style diagrams and thereby construct free Markov categories. We also show that the construction is functorial over ordered dire…

cs.AI2022

Markov categories, causal theories, and the do-calculus

Yimu Yin, Jiji Zhang

We give a category-theoretic treatment of causal models that formalizes the syntax for causal reasoning over a directed acyclic graph (DAG) by associating a free Markov category wi…

math.LO2020

-convex valued fields with tempered exponentiation

Yimu Yin

We continue the effort of grokking the structure of power-bounded -convex valued fields, whose theory is in general referred to as TCVF. In the present paper our focus is on cer…

math.AG2019★ 2 cited

Bounded integral and motivic Milnor fiber

Arthur Forey, Yimu Yin

We construct a new motivic integration morphism, the so-call bounded integral, that interpolates both the integration morphisms with and without volume forms of Hrushovski and Kazh…

math.LO2018★ 1 cited

Approximation by -minimal sets in power-bounded -convex valued fields

Yimu Yin

We show that, for a certain large class of power-bounded -minimal -theories whose field of exponents is infinite-dimensional as a vector space over the ration…

math.AG2018★ 2 cited

Motivic integration and Milnor fiber

Goulwen Fichou, Yimu Yin

We put forward in this paper a uniform narrative that weaves together several variants of Hrushovski-Kazhdan style integral, and describe how it can facilitate the understanding of…