Some homological properties of ind-completions and highest weight categories - Kevin Coulembier (2020)