“Enriched Pro-Categories and Shapes”. Contemporary Mathematics 3, no. 2 (April 24, 2022): 162–187. Accessed December 24, 2025. https://ojs353.mebyme.cn/index.php/CM/article/view/1323.