Freyd categories are Enriched Lawvere Theories

Sam Staton. Freyd categories are Enriched Lawvere Theories. Electronic Notes in Theoretical Computer Science, 303:197-206, 2014. [doi]