Note on
Freyd categories are enriched Lawvere theories.
ENTCS 303, 2013.
Sam Staton.
After Proposition 2.7 I acknowledged the work of Paul Levy and
Paul-Andre Mellies, but I should also have cited Theorem 4.3 of
Enrichment through variation.
R Gordon & A J Power.
J. Pure Appl. Algebra 120(2): 167-185. 1997.
Acknowledgement: Thanks to Richard Garner for pointing this out.