In this workshop we will explore the structure of these categorified Coulomb branches. The simplest (!) example of a categorified Coulomb branch is the coherent Satake category, that is, the category of perverse coherent sheaves on the affine Grassmannian of a complex reductive group (such as GL_n). This is the coherent analogue of the more classical (constructible) Satake category which plays a fundamental role in the geometric Langlands program. We don't expect participants to know what many of those words mean, but they will by the end of the workshop!