I have a Galois connection that isn't quite a connection ... it's like dividing by zero ... division works, except at one point. That's still OK though. So what do you call it when you have an adjoint relationship that works "almost everywhere"? The problem arises in certain non-binary relevance logics.
--
conjunction is adjoint to implication
--
conjunction is adjoint to implication
