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

zbMATH Open1448.18002arXiv1503.05064MaRDI QIDQ4584201FDOQ4584201

Zeinab Khanjanzadeh, Ali Madanshekaf

Publication date: 29 August 2018

Abstract: Let $j$ be a Lawvere-Tierney topology (a topology, for short) on an arbitrary topos $mathcalE$, $B$ an object of $mathcalE$, and $j_B=jimes{1}_B$ the induced topology on the slice topos $mathcalE/B$. In this manuscript, we analyze some properties of the pullback functor $P{i}_B:mathcalEightarrowmathcalE/B$ which have deal with topology. Then for a left cancelable class $mathcalM$ of all $j$-dense monomorphisms in a topos $mathcalE$, we achieve some necessary and sufficient conditions for that $(mathcalM,mathcal{M}^{perp})$ is a factorization system in $mathcalE$, which is related to the factorization systems in slice topoi $mathcalE/B,$ where $B$ ranges over the class of objects of $mathcalE$. Among other things, we prove that an arrow $f:XightarrowB$ in $mathcalE$ is a $j_B$-sheaf whenever the graph of $f$, is a section in $mathcalE/B$ as well as the object of sections $S(f)$ of $f$, is a $j$-sheaf in $mathcalE$. Furthermore, we introduce a class of monomorphisms in $mathcalE$, which we call them $j$-essential. Some equivalent forms of those and some of their properties are presented. Also, we prove that any presheaf in a presheaf topos has a maximal essential extension. Finally, some similarities and differences of the obtained result are discussed if we put a (productive) weak topology $j$, studied by some authors, instead of a topology.

Full work available at URL: https://arxiv.org/abs/1503.05064

zbMATH Keywords

factorization systemsheafessential monomorphismslice topos(weak) Lawvere-Tierney topology

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Cited In (1)

• Weak topologies on toposes

This page was built for publication: Lawvere-Tierney sheaves, factorization systems, sections and $j$-essential monomorphisms in a topos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4584201)