圏論のおはなし
- 6. …
• object
•
• morphism
•
•
•
- 7. …
• object
•
• morphism
•
•
•
• •
•
•
- 13. Automata
• :
• :
f
p q
•
• tp tq
• p q
p p' p' q'
f
p' q'
- 17. Automata
P
f
Q
K K
K(f)
K(P) K(Q)
String
- 18. • Automata
String K
• Automata X String K(X)
• Automata f: P → Q String
K(f): K(P)→K(Q)
- 20. • Automata
• String K
- 24. int
λx.x+1
List
+α
length, reverse, ...