Lawvere-Tierney sheaves, factorization systems, sections and $j$-essential monomorphisms in a topos
scientific article; zbMATH DE number 6928967