2 problems

Let $\operatorname{Cones}(d)$ be the poset of rational cones, whose order is generated by extensions of monoids of the form $C\cap\mathbb Z^d$, for a rational cone…

Cone conjecture. For every $d$, the order in $\operatorname{Cones}(d)$ is the inclusion order.