# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTim_Porter
• CommentTimeJun 14th 2019
• (edited Jun 14th 2019)

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.)

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeOct 3rd 2021

I have:

• spelled out the formula for the left adjoint profunctor (just for completeness),

• changed “$\infty Grp$” to “$Set$” (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 $\infty$-functors,

• replaced the broken reference to Hoyois by a working one.