category with feedback compact closed bicategory traced monoidal bicategory Related work Zeinab Galal and Kate Ponto have written independently on traced monoidal bicategories. note