 For instance, there is an example due to Pierre Deligne of a nontrivial topos that has no points (see below for the definition of points of a topos).If "X" and "Y" are topoi, a "geometric morphism" is a pair of adjoint functors ("u"∗,"u"∗) (where "u"∗