Появился вопрос: Есть класс Monoidal(моноидальная категория с бифунктором и единичным объектом) class

Question

Появился вопрос: Есть класс Monoidal(моноидальная категория с бифунктором и единичным объектом) class

Bifunctor (⊗) =>Monoidal i (⊗)
where
α :: a ⊗ (b ⊗ c) -> (a ⊗ b) ⊗ c
λ :: i ⊗ a -> a
ρ :: a ⊗ i -> a

Есть ли какие-то варианты инстансов кроме:
i= (),(⊗) = (,)
Т.е. единственнен ли инстанс для () и (,)?

#haskell #programming #russian

0

12.08.2020

3 ответов

20 просмотров

Cheese Syrowiecki

а зачем здесь Bifunctor? вроде необязательно

0

12.08.2020

(*__*) Автор вопроса

Ничего себе,так моноид в haskell это Monoid () (,). Где: class Monoidal i (⊗) =>Monoid m i (⊗) where μ :: m ⊗ m -> m η :: i -> m А, теперь ясно,почему не стали строить обобщение в виде класса Monoidal. Потому,что основным инстансом для Monoidal является Monoidal () (,).

0

13.08.2020

Cheese Syrowiecki · Accepted Answer

Cheese Syrowiecki

должна быть ещё обратная альфа

0

12.08.2020

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

Появился вопрос: Есть класс Monoidal(моноидальная категория с бифунктором и единичным объектом) class

3 ответов

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