The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
97 views

Naming ambiguity in constructive pointwise natural transformations and whiskering

In the HoTT Book, the choice is made to talk about whiskering, rather than horizontal composition, because horizontal composition is ambiguous and only defined up to paths. Naturally, there is left ...