 j-sheaf

An object $X$ is a $j$-sheaf when every map $A^{\prime }\to X$ defined on the domain of a j-dense monomorphism $A^{\prime }\hookrightarrow A$ extends uniquely to a map $A\to X$.