19 citations · 19 across the 1 of their papers we have counts for
1 paper
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…