# Tagged Questions

**2**

votes

**0**answers

105 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

**1**answer

254 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)$ ...