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.
user64494
- 3.5k
- 14
- 22