trivial topology

The Grothendieck topology on any category for which only the identity morphisms are covering is the *trivial topology*. Its sheaves are all the presheaves.

Last revised on June 29, 2018 at 16:25:48. See the history of this page for a list of all contributions to it.