6.12.3.1. Implementation

Start python section to interscript/felix/model/stdcat.py[1 /10 ] Next Last
     1: #line 6 "felix_stdcat.ipk"
     2: from interscript.felix.model.basecat import category
     3: 
End python section to interscript/felix/model/stdcat.py[1]


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