What is a noncommutative topos?
arXiv:1705.02831 · doi:10.1142/S021949881950107X
Abstract
In 1702.04949 noncommutative frames were introduced, generalizing the usual notion of frames of open sets of a topological space. In this paper we extend this notion to noncommutative Grothendieck topologies and their associated noncommutative toposes of sheaves of sets.