2
votes
0answers
103 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 ...
1
vote
1answer
247 views

Name convention for the composition of the preimage of a function and the function itself

Hi, given a function $f:X \rightarrow Y$, not necessarily invertible, is there a conventional name for the function $$g_f := f^{-1} \circ f:X \rightarrow \mathcal{P}(X),$$ where $\mathcal{P}(X)$ ...