トップページ⇒tech

1002コメント312KB

関数型プログラミング言語Haskell Part28 [転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています

0291デフォルトの名無しさん

2016/04/09(土) 21:52:21.35ID:2MBZRcp4

>>290
合成した射がHom集合に含まれるというのが圏の定義

■ このスレッドは過去ログ倉庫に格納されています