Action preserving (weak) topologies on the category of presheaves

MaRDI QIDQ6282908zbMATH OpenFDO

Authors Zeinab Khanjanzadeh, Ali Madanshekaf

Publication date 7 February 2017

Mathematics Subject Classification ID

Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Abstract: Let $mathcalC$ be a finitely complete small category. In this paper, first we construct two weak (Lawvere-Tierney) topologies on the category of presheaves. One of them is established by means of a subfunctor of the Yoneda functor and the other one, is constructed by an admissible class on $mathcalC$ and the internal existential quantifier in the presheaf topos $widehatmathcalC$. Moreover, by using an admissible class on $mathcalC,$ we are able to define an action on the subobject classifier $Omega$ of $widehatmathcalC$. Then we find some necessary conditions for that the two weak topologies and also the double negation topology $egeg$ on $widehatmathcalC$ to be action preserving maps. Finally, among other things, we constitute an action preserving weak topology on $widehatmathcalC$.

This page was built for publication: Action preserving (weak) topologies on the category of presheaves

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