# 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.
• CommentAuthorUrs
• CommentTimeMay 9th 2010

polished a bit and expanded a bit at interval category (nothing deep, just so that it looks better)

1. Removing the redirect for interval groupoid, which will now go walking isomorphism instead. Tweaked and made more concise the section ’Interval groupoid’ accordingly; I will move the (small amount of) removed material to walking isomorphism.

2. added redirects for interval preorder, interval proset, interval poset

Anonymous

Anonymous

• CommentRowNumber5.
• CommentAuthorMike Shulman
• CommentTimeOct 11th 2022
• “interval poset” makes sense outside of type theory too
• the inequality can also be defined recursively
• less dogmatic about avoiding $I$