[[!redirects order theory]] [[!redirects Order theory in HoTT]] 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]]