1: #line 5 "felix_package.ipk" 2: # felix package
1: #line 7 "felix_package.ipk" 2: # felix object model 3:
6.22.1. Category Base 6.22.2. Finite Category model 6.22.3. Standard Categories 6.22.4. Categories with simple representation models 6.22.5. Function category 6.22.6. Constructions