Feedback in compact bicategories

Last updated Sep 8, 2023

• category with feedback
• compact closed bicategory
• traced monoidal bicategory

#note