A Categorical Notion of Precompact Expansion - Keegan Dasilva Barbosa (2020)