Я пытаюсь понять Product и Coproduct, соответствующие следующей картинке: Продукт: Копродукция: Как...

Предположим, у меня есть категория $ C $ и морфизм $ f: a \ rightarrow b $ в этой категории....

Я хотел бы увидеть, с точки зрения основ, то, что в Haskell называется функциями. Смотрите,...