Enriched Lawvere Theories

Enriched Lawvere Theories (0)

by John Power

Citations:

14 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Enriched Lawvere Theories	user correction - Legacy Corrections
AUTHOR NAME	John Power	SVM HeaderParse 0.1
AUTHOR AFFIL	; Department of Computer Science; University of Edinburgh; Edinburgh, EH9 3JZ	SVM HeaderParse 0.2
ABSTRACT	We define the notion of enriched Lawvere theory, for enrichment over a monoidal biclosed category V that is locally finitely presentable as a closed category. We prove that the category of enriched Lawvere theories is equivalent to the category of finitary monads on V. Morever, the V-category of models of a Lawvere V-theory is equivalent to the V-category of algebras for the corresponding V-monad. This all extends routinely to local presentability with respect to any regular cardinal. We finally consider the special case where V is Cat, and explain how the correspondence extends to pseudo maps of algebras.	user correction - Legacy Corrections
YEAR	0	user correction - Legacy Corrections
CITATIONS	7 found	ParsCit 1.0