Tropical diversity