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.
Disjoint Arrows in the category of locales
John Iskra
- 404
- 3
- 10