18 citations · 52 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.AT2021
Partition complexes and trees
Gijs Heuts, Ieke Moerdijk
We construct a homotopy initial functor from the partition complex of a finite set to a category of trees with leaves labelled by . As an application, this provides an equiv…
math.CT2021
A short proof of the straightening theorem
Fabian Hebestreit, Gijs Heuts, Jaco Ruit
We provide a short and reasonably self-contained proof of Lurie's straightening equivalence, relating cartesian fibrations over a given -category with contravariant fun…