Soit $X$ un espace $k$-analytique. On appelle carte tropicale sur $X$ la donnée d’un moment $f\colon X\rightarrow T$ sur $X$ et d’un polytope compact $P$ de $T_{\text{trop}}$ qui contient $f_{\text{trop}}(X)$. Les cartes tropicales sur $X$ forment une catégorie (essentiellement) petite, un morphisme d’une carte tropicale $(f\colon X\rightarrow T,P)$ dans une autre $(f^{\prime}\colon X\rightarrow T^{\prime},P^{\prime})$ étant un morphisme de tores $q\colon T\rightarrow T^{\prime}$ tel que $f^{\prime}=q\circ f$ et $q_{\text{trop}}(P)\subset P^{\prime}$.