11 citations · 18 across the 9 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LO2023
A First Order Theory of Diagram Chasing
Assia Mahboubi, Matthieu Piquerez
This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chas…
math.CO2023
Hodge theory for tropical fans
Omid Amini, Matthieu Piquerez
This paper is the first in a series devoted to the development of a Hodge theory for tropical varieties. We introduce a notion of T-stability for tropical fans and prove that vario…
math.AG2023
Cohomologically tropical varieties
Edvard Aksnes, Omid Amini, Matthieu Piquerez +1
Given the tropicalization of a complex subvariety of the torus, we define a morphism between the tropical cohomology and the rational cohomology of their respective tropical compac…