@OscarCunningham@mathstodon.xyz
Post #1816218
2026-02-24 05:43 UTC
@dwarn I'm not an expert so this might be a stupid question, but does this also answer this question: https://mathoverflow.net/questions/161190/homotopy-theory-of-suplattices ? A suplattice is a semilattice with extra properties, so they must all be discrete. Like maybe we can't answer the precise question about model categories, but can we at least say that the 'Homotopy Theory of Suplattices' is trivial?
Replies (1)
-
@de_Jong_Tom@mathstodon.xyz 2026-02-24 06:18
@OscarCunningham I don't know about the MO question, but suplattices have a prop-valued reflexive and antisymmetric relation and any type with such a relation is necessarily a set. This can be seen with a much simpler argument using what @MartinEscardo calls local Hedberg. https://martinescardo.github.io/TypeTopology/UF.HedbergApplications.html#2299 @dwarn