This would greatly help to simplify at least 50% of routine definitions of particular categories. Why should we specify a triple $(f;A;B)$ every time we define something categorical? It is too much hand-writing.