1: \begin{abstract}

2: We construct and study a nonstandard t-structure on the derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima space of triples $\hR_{G,N}$, where $\N$ is a representation of a reductive group $G$. Its heart $\KPcohGN$ is a finite-length, rigid, monoidal abelian category with renormalized $r$-matrices. We refer to objects of $\KPcohGN$ as Koszul-perverse coherent sheaves. Simple objects of $\KPcohGN$ define a canonical basis in the quantized $K$-theoretic Coulomb branch of the associated gauge theory. These simples possess various characteristic properties of Wilson-'t Hooft lines, and we interpret our construction as an algebro-geometric definition of the category of half-BPS line defects in a 4d $\mathcal{N}=2$ gauge theory of cotangent type. 

3: 

4: %The classes of simple Koszul-perverse coherent sheaves form a canonical basis in the quantized $K$-theoretic Coulomb branch of the associated gauge theory. These simples possess various characteristic properties of Wilson-'t Hooft lines, and we  interpret our construction as an algebro-geometric definition of the monoidal category of half-BPS line operators in a 4d $\mathcal{N}=2$ gauge theory of cotangent type. 

5: 

6: %We construct and study a nonstandard t-structure on the derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima space of triples $\hR_{G,N}$, where $\N$ is a representation of a reductive group $G$. Its heart $\KPcohGN$ is a finite-length, rigid, monoidal abelian category with renormalized $r$-matrices. We refer to objects of $\KPcohGN$ as Koszul-perverse coherent sheaves. The classes of simple Koszul-perverse coherent sheaves form a canonical basis in the quantized $K$-theoretic Coulomb branch of the associated 4d $\mathcal{N}=2$ gauge theory. 

7: \end{abstract}