Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.)
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.
1 to 2 of 2