Learn More
We deene the notion of enriched Lawvere theory, for enrichment over a monoidal biclosed category V that is locally nitely presentable as a closed category. We prove that the category of enriched(More)