Are there traffic light in the sky?

no how would they work

No, Air flight controllers at all airports monitor air traffic and it moves at different altitudes if paths intersect. They can also have planes circle or change direction or wait if other planes are in the way, plus they assign the runway to be used and the approach vector