Category Theory
Zulip Server
Archive

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.


Stream: learning: reading & references

Topic: Reference for a certain version of Isbell duality


view this post on Zulip Ari Rosenfield (Feb 19 2025 at 18:53):

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:

view this post on Zulip David Corfield (Feb 19 2025 at 20:40):

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.