In joint work with Saul Glasman and Peter Haine, we proved that the derived ∞-category of constructible ℓ-adic sheaves ’is’ the ∞-category of continuous functors from an explicitly defined 1-category to the ∞-category of perfect complexes over ℚℓ. In this series of talks, I want to offer some historical context for these ideas and to explain some of the techologies that go into both the statement and the proof. If time permits, I will also discuss newer work that aims to expand the scope of these results.