[[!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]] * [[join-semilattice]] * [[meet-semilattice]] * [[lattice]] * [[distributive lattice]] * [[sigma-complete lattice]] * [[sigma-frame]] * [[suplattice]] * [[frame]] * [[order]] * [[strict order]] * [[dense strict order]] * [[Dedekind cut]]