Malleable polycategory

Last updated Apr 23, 2024

• polycategory
• prostar autonomous category