References. The Uniformity Principle on Traced Monoidal Categories (Hasegawa, 2004) See also. uniform pointed feedback uniform feedback trace