Star-polycategory

Last updated Sep 8, 2023

• polycategory
• star-autonomous category