2 problems
Sufficiency conjecture. Suppose is a sufficient family of univalent fibrations for . Then
Span-preservation conjecture. Let be a univalent discrete cocartesian fibration. Then
Sufficiency conjecture. Suppose is a sufficient family of univalent fibrations for . Then
Span-preservation conjecture. Let be a univalent discrete cocartesian fibration. Then