Tropicalization is a non-Archimedean analytic stack quotient
M. Ulirsch, ArXiv:1410.2216 (2014).