traced monoidal category

Last updated Apr 23, 2024

• traced monoidal bicategory

References

• Traced Monoidal Categories (Joyal, Street, Verity)