  Given a rigid C*-tensor category C with simple unit and a probability measure
$\mu$ on the set of isomorphism classes of its simple objects, we define the
Poisson boundary of $(C,\mu)$. This is a new C*-tensor category P, generally
with nonsimple unit, together with a unitary tensor functor $\Pi: C \to P$. Our
main result is that if P has simple unit (which is a condition on some
classical random walk), then $\Pi$ is a universal unitary tensor functor
defining the amenable dimension function on C. Corollaries of this theorem
unify various results in the literature on amenability of C*-tensor categories,
quantum groups, and subfactors.
