I have:
spelled out the formula for the left adjoint profunctor (just for completeness),
changed “” to “” (to be consistent what the ambient text/links are referring to)
and instead appended a line that with this replacement undone, the analogous definition gives pro-left adjoint -functors,
replaced the broken reference to Hoyois by a working one.
added a cross reference to prorepresentable functor
The link to Marc Hoyois notes is dead. Perhaps his higher Galois theory has much the same content (as I do not know the notes refered to here and his webpage does not seem to list this pdf file.)
]]>