Adjunctions

September 8, 2026

Suppose a real world problem P is solved by some theory T by Vassili. Vassili is well known for his work on T and this particular problem P is such that you can see it as a pratical isomorphism of T, once you known T well enough.

Is it possible to find another theory U that is also a solution to P? Such U should be different enough from T as to mask its connection with Vassili, which we are trying to preserve.

We don’t care about any generality here at all. It suffices to show some specific examples of T, P, and U.