# 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.
• CommentAuthormaxsnew
• CommentTimeOct 10th 2022

clarify that polarity is about all universal properties, not just limits/colimits, and talk a bit about why it makes sense for a type to have “both polarities”

• CommentRowNumber2.
• CommentAuthorGuest
• CommentTimeOct 10th 2022

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}$

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeOct 11th 2022

Yes, the $(\infty,1)$-categorical representable functors land in $\infty Gpd$.

• CommentRowNumber4.
• CommentAuthorMike Shulman
• CommentTimeOct 11th 2022
• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeDec 17th 2022

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?