On monoidal 2-categories and braided monoidal 2-categories:
Created on July 21, 2021 at 16:41:51. See the history of this page for a list of all contributions to it.