N. Uglešić, “Enriched Pro-Categories and Shapes”, Contemp. Math., vol. 3, no. 2, pp. 162–187, Apr. 2022.