Tags: Feedback category, uniform trace. References. The Uniformity Principle on Traced Monoidal Categories (Hasegawa, 2004)