34 citations · 95 across the 15 of their papers we have counts for
Showing 2017 · math.CTShow all
2 papers · 2 filters
math.CT2017★ 34 cited
Modalities in homotopy type theory
Egbert Rijke, Michael Shulman, Bas Spitters
Univalent homotopy type theory (HoTT) may be seen as a language for the category of -groupoids. It is being developed as a new foundation for mathematics and as an internal…
math.CT2017★ 19 cited
The join construction
Egbert Rijke
In homotopy type theory we can define the join of maps as a binary operation on maps with a common co-domain. This operation is commutative, associative, and the unique map from th…