On a formula that is not in "Grothendieck Topologies in Posets"

Eduardo Ochs

The paper "Grothendieck Topologies on Posets" by A.J. Lindenhovius shows that when $\mathbf{P}$ is an Artinian poset and $\mathbf{E}$ is the topos ${\mathbf{Set}}^{\mathbf{P}}$ then th…