Simplicially-enriched_category loading ...