  In these notes we survey the tropical intersection theory on R^n by deriving
the properties for tropical cycles from the corresponding properties in Chow
cohomology. For this we review the stable intersection product introduced by
Mikhalkin and the push forward of tropical cycles defined by Allermann and Rau.
Furthermore we define a pull back for tropical cycles based on the pull back of
Minkowski weights. This pull back commutes with the tropical intersection
product and satisfies the projection formula. Our main result is to deduce the
latter from the corresponding projection formula in Chow cohomology.
