Mathlib

Fix an object X. For every object A, record the set of arrows A → X.