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

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
• omega-complete poset
• directed-complete poset
• partial function classifier
• Sierpinski space
• continuous poset?
• lattice
• distributive lattice
• sigma-complete lattice
• sigma-frame
• suplattice
• frame
• Heyting algebra
• Boolean algebra?
• monotonic function
• monotonic function preorder?
• sigma-continuous function?
• opposite preorder
• antitonic function
• posite?
• lower type
• upper type
• ideal?
• filter
• enriched poset
• order
• strict order
• dense strict order
• quasiorder?
• strict lower type?
• strict upper type?
• Dedekind cut
• Dedekind complete dense strict order?