personal page
institute page
On the free construction of autonomous categories (aka rigid monoidal categories) from plain monoidal categories:
Created on May 7, 2023 at 04:52:15. See the history of this page for a list of all contributions to it.