1: #line 5 "felix_package.ipk" 2: # felix package
1: #line 7 "felix_package.ipk" 2: # felix object model 3:
6.12.1. Category Base 6.12.2. Finite Category model 6.12.3. Standard Categories 6.12.4. Categories with simple representation models 6.12.5. Function category 6.12.6. Constructions