273 citations · 767 across the 23 of their papers we have counts for
1 paper · 2 filters
Denis-Charles Cisinski, Hoang Kim Nguyen
We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.