j-sheaf
= j-sheaf
An object $X$ is a $j$-sheaf when every map $A'\to X$ defined on the domain of a <j-dense monomorphism> $A'\hookrightarrow A$ extends uniquely to a map $A\to X$.
= j-sheaf
An object $X$ is a $j$-sheaf when every map $A'\to X$ defined on the domain of a <j-dense monomorphism> $A'\hookrightarrow A$ extends uniquely to a map $A\to X$.