MathDB1 problem
- 0 votes0 replies1 view
Generalization of the adjoint correspondence theorem to arbitrary 2-fibrations
A 2-fibration is a 2-categorical fibration of the kind discussed in the surrounding results, with its associated correspondence of adjunctions. General 2-fibration conjecture. The…