Questions tagged [convention]

Here's what seems to be an annoying technicality when dealing with loops in graphs. In the literature on expander graphs (and surely not only), it seems to be the convention that a loop at vertex $v$ ...

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 ...

In optimization, a proximal step is usually considered as cheap as a gradient step. I'm quite confused by this. Why are people taking this convention at all? A typical proximal step indeed incurs a ...