哈斯克爾：Control.Category.Monoidal：聯想，IDL和IDR

Control.Category.Associative的逆聲明射associate：哈斯克爾：Control.Category.Monoidal：聯想，IDL和IDR

class Bifunctor p k k k => Associative k p where 
    associate :: k (p (p a b) c) (p a (p b c))

但是，據我瞭解Monoidal範疇，關聯器應該是同構的。它的反面在哪裏？ Control.Categor.Monoidal也沒有聲明它，只是左側和右側的單元或組件（idl和idr），並且也省略了它們的逆。

是否有可能以我忽略的規範方式從這些態射中獲得反向，或者爲什麼忽略反向？

來源

2016-07-09 Benjamin Berger

'category-extras'已被棄用一段時間。你有沒有看過'categories'替換包中的['Associative']（https://hackage.haskell.org/package/categories-1.0.7/docs/Control-Category-Associative.html）？這個軟件包中還有['Monoidal']（https://hackage.haskell.org/package/categories-1.0.7/docs/Control-Category-Monoidal.html）。 –

嗯謝謝你，我不知道它已被棄用。 –

看起來倒數是由類Coassociative定義的，它可能只是爲了更多的粒度和一般性。

來源

2016-07-09 11:50:38 luqui

這個類型是正確的，但通常不是「反」的東西嗎？ –

啊好點。我們可能需要某種涉及兩者的法律...... – luqui

如果這是真的，那麼'idl'和'idr'的倒數就是'Comonoidal'。文檔說：這個類也是（ab）用於嚴格（合）monoidal類別所需的逆操作。一個嚴格的（合）monoidal範疇是Monoidal和Comonoidal並滿足以下法則： –

哈斯克爾：Control.Category.Monoidal：聯想，IDL和IDR

回答

相關問題