Let be a -category, then adjunction is a relation on (the -cells of ). The relation is linear and composition makes into a pomagma whose object set is and if and empty otherwise.
We can also consider as a “-twisted -category” where we have -morphisms between antiparallel -cells and whose level is thin.
satisfies