Skip to main content

Disjoint Arrowsarrows in the category of locales

Source Link
John Iskra
  • 404
  • 3
  • 10

Disjoint Arrows in the category of locales

Call two arrows $f$ and $g$ disjoint if the pullback of $f$ by $g$ is the initial object. Here's my question: Does there exist a sublocale $j: J\to L$ which is not disjoint with any other (non-initial) sublocale of $L$, but which is disjoint with other non-initial arrows.