  This is an introductory article for a mathematical definition of Coulomb
branches of 3d N=4 SUSY gauge theories and geometric Satake correspondences for
Kac-Moody Lie algebras based on Coulomb branches.
