You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Can anyone point me to a reference for Isbell duality for enriched Lawvere theories, as stated in Prop. 5.3 on this nLab page?
I looked through some of the cited references there, but I couldn't find it :oh_no:
The result appears early on revision 3 by Urs Schreiber, so you may want to ask him. But maybe we're seeing the idea emerge here.