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