Prefer a chat interface with context about you and your work?
Pivotal Tricategories and a Categorification of Inner-Product Modules