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.
What’s the (infinity, 1)-categorical version of a representable functor? Because in certain models of type theory such as homotopy type theory I’d imagine the ’representable functors’ to actually be $C \to \infty\mathrm{Grpd}$ or $C^\op \to \infty\mathrm{Grpd}$ rather than $C \to \mathrm{Set}$ and $C^\op \to \mathrm{Set}$
Yes, the $(\infty,1)$-categorical representable functors land in $\infty Gpd$.
I have streamlined some wording in this entry and added a bunch of further hyperlinks (such as to term elimination, etc.)
I notice that a lot of entries (such as this one) are requesting links to call-by-name and/or to call-by-value, while these links remain broken. Would it be hard to create these entries with some minimum content?
1 to 5 of 5