Pattern matching
Endofunctor:
について・・・
Lambek's lemma
Every initial algebra is an isomorphism:
系
- initial algebra:
- -morphism: *2
について
なる -morphism:
がただ一つ存在する。
Endofunctor:
について・・・
Every initial algebra is an isomorphism:
について
なる -morphism:
がただ一つ存在する。