Enriched Pro-Categories and Shapes. Contemp. Math. 2022, 3 (2), 162-187. https://doi.org/10.37256/cm.3220221323.