David Roberts local epimorphism

A local epimorphism p:ABp:A \to B for a given pretopology JJ is a map such that there is a covering family {j i:U iB}\{j_i:U_i \to B\} and maps s i:U iAs_i:U_i \to A such that ps i=j ip\circ s_i = j_i.

When JJ is the open cover pretopology 𝒪\mathcal{O} on TopTop, then a local epimorphism is a map admitting local sections in the usual sense.

Created on October 1, 2009 at 12:13:14. See the history of this page for a list of all contributions to it.