Enriched Pro-Categories and Shapes Apr 28, 2022