enriched in double categories