“Enriched Pro-Categories and Shapes”, Contemp. Math., vol. 3, no. 2, pp. 162–187, Apr. 2022, doi: 10.37256/cm.3220221323.