Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality | Synapse