Homotopy Type Theory Order theory > history (Rev #2)

Here we collect articles about doing order theory/(0,1)-category theory in HoTT

Order theory

• preorder
• directed type
• net
• poset
• join-semilattice
• meet-semilattice
• lattice
• distributive lattice
• sigma-complete lattice
• sigma-frame
• suplattice
• frame
• order
• strict order
• dense strict order
• Dedekind cut
• Dedekind complete dense strict order?