Code Generation for Monodial Categories

Monoidal Categories

nothing This functions uses the dictionary key_val_rec to create a new monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.
Closed Monoidal Categories

nothing This functions uses the dictionary key_val_rec to create a new closed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.
Coclosed Monoidal Categories

nothing This functions uses the dictionary key_val_rec to create a new coclosed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.