Не, то, что морфизмов A->A может быть сколько угодно -

Question

Haskell

Vasiliy

Не, то, что морфизмов A->A может быть сколько угодно -

это понятно, но как может быть много id?

#haskell #programming #russian

0

16.07.2017

1 ответов

16 просмотров

Евгений Омельченко · Accepted Answer

Евгений Омельченко

Много id (в Cat1) не может быть, конечно: пусть есть id1 и id2, тогда: id1 * id2 = id2 * id1 = id1, т.к id1 является id, но при этом id2 *id1 = id1*id2 = id2, т.к id2 является id. Значит id1 = id2

0

16.07.2017

169 похожих чатов

Не, то, что морфизмов A->A может быть сколько угодно -

1 ответов

Похожие вопросы