“Enriched Pro-Categories and Shapes” (2022) Contemporary Mathematics, 3(2), pp. 162–187. doi:10.37256/cm.3220221323.