Lawvere-Tierney sheaves, factorization systems, sections and $j$-essential monomorphisms in a topos

Zeinab Khanjanzadeh, Ali Madanshekaf

Let $j$ be a Lawvere-Tierney topology (a topology, for short) on an arbitrary topos $\mathcal{E}$, $B$ an object of $\mathcal{E}$, and $j_B=j\times 1_B$ the induced topology on t…