“Enriched Pro-Categories and Shapes”. 2022. Contemporary Mathematics 3 (2): 162-87. https://doi.org/10.37256/cm.3220221323.