Action preserving (weak) topologies on the category of presheaves
Category Theory
2017-03-03 v2
Abstract
Let 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 and the internal existential quantifier in the presheaf topos . Moreover, by using an admissible class on we are able to define an action on the subobject classifier of . Then we find some necessary conditions for that the two weak topologies and also the double negation topology on to be action preserving maps. Finally, among other things, we constitute an action preserving weak topology on .
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