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.
• CommentAuthorMike Shulman
• CommentTimeMar 1st 2019

Created page with definition and examples, mainly because I wanted to record the relationship between the classical $\lhd$ and Lurie’s $\ll$.

• CommentRowNumber2.
• CommentAuthorDavidRoberts
• CommentTimeMar 1st 2019

s/$\lambda \lhd \mu$/$\lambda \unlhd \mu$/

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeMar 2nd 2019

Added link to MO answer showing that “$\lambda\lhd\mu$ \implies $\lambda\ll\mu$” is independent of ZFC.