MathDB1 problem
- 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…