English

Action preserving (weak) topologies on the category of presheaves

Category Theory 2017-03-03 v2

Abstract

Let C\mathcal{C} 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 C\mathcal{C} and the internal existential quantifier in the presheaf topos C^\widehat{\mathcal{C}}. Moreover, by using an admissible class on C,\mathcal{C}, we are able to define an action on the subobject classifier Ω\Omega of C^\widehat{\mathcal{C}}. Then we find some necessary conditions for that the two weak topologies and also the double negation topology ¬¬\neg\neg on C^\widehat{\mathcal{C}} to be action preserving maps. Finally, among other things, we constitute an action preserving weak topology on C^\widehat{\mathcal{C}}.

Keywords

Cite

@article{arxiv.1702.02185,
  title  = {Action preserving (weak) topologies on the category of presheaves},
  author = {Zeinab Khanjanzadeh and Ali Madanshekaf},
  journal= {arXiv preprint arXiv:1702.02185},
  year   = {2017}
}

Comments

32pages