Uglešić, N. Enriched Pro-Categories and Shapes. Contemp. Math. 2022, 3, 162-187.