Category O for quantum loop algebras

We generalize the Hernandez-Jimbo category O of representations of Borel subalgebras of quantum affine groups to the case of quantum loop algebras for arbitrary Kac-Moody g (as well as related algebras, such as quantum toroidal gl_1). Moreover, we give explicit shuffle algebra descriptions of simple modules in category O, which provide tools for the computation of q-characters that are new even in finite types.