MathDB2 problems
- 0 votes0 replies0 views
The internal-fibration conjecture for logical relations
Logical relations are modeled by suitable categorical structures, and an internal fibration is a fibration defined within an appropriate 2-category of models. Internal-fibration co…
- 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…