1: #line 6 "felix_stdcat.ipk" 2: from interscript.felix.model.basecat import category 3:
6.12.3.1.1. Empty Category 6.12.3.1.2. Universal Set 6.12.3.1.3. Monoids 6.12.3.1.4. Category with one arrow 6.12.3.1.5. Integer Addition 6.12.3.1.6. Integer Multiplication 6.12.3.1.7. Sequence concatenation