GAP (MonoidalCategories) - Chapter 3: Code Generation for Monodial Categories

Goto Chapter: Top 1 2 3 4 Ind
[Top of Book] [Contents] [Previous Chapter] [Next Chapter]

[MathJax on]

3 Code Generation for Monodial Categories
3.1 Monoidal Categories
3.1-1 WriteFileForMonoidalStructure
3.2 Closed Monoidal Categories
3.2-1 WriteFileForClosedMonoidalStructure
3.3 Coclosed Monoidal Categories
3.3-1 WriteFileForCoclosedMonoidalStructure

### 3 Code Generation for Monodial Categories

#### 3.1 Monoidal Categories

##### 3.1-1 WriteFileForMonoidalStructure

`‣ WriteFileForMonoidalStructure`( key_val_rec, package_name, files_rec ) | ( function )

Returns: 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.

#### 3.2 Closed Monoidal Categories

##### 3.2-1 WriteFileForClosedMonoidalStructure

`‣ WriteFileForClosedMonoidalStructure`( key_val_rec, package_name, files_rec ) | ( function )

Returns: 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.

#### 3.3 Coclosed Monoidal Categories

##### 3.3-1 WriteFileForCoclosedMonoidalStructure

`‣ WriteFileForCoclosedMonoidalStructure`( key_val_rec, package_name, files_rec ) | ( function )

Returns: 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.

[Top of Book] [Contents] [Previous Chapter] [Next Chapter]
Goto Chapter: Top 1 2 3 4 Ind

generated by GAPDoc2HTML