[[!redirects locally Heyting-algebraic 2-poset]] [[!redirects locally Heyting-algebraic 2-posets]] < [[nlab:locally Heyting-algebraic 2-poset]]