for example the category of all the oriented graphs are topos