Highest weight categories of gl(∞)-modules - Pablo Zadunaisky (2022)