Description:
<jats:title>Abstract</jats:title><jats:p>We develop a tropical intersection formalism of forms and currents that extends classical tropical intersection theory in two ways. First, it allows to work with arbitrary polyhedra, also non-rational ones. Second, it allows for smooth differential forms as coefficients. The intersection product in our formalism can be defined through the diagonal intersection method of Allermann–Rau or the fan displacement rule. We prove with a limiting argument that both definitions agree.
</jats:p>