Title: Semi-Infinite Highest Weight Categories