locally generated enriched categories