List questions from monads

Published on 23 May 2019 - 15:19

620

Views

Monad laws in category theory vs Haskell

Published on 24 Mar 2026 - 0:55

45

Views

Distributive law for $\mathbb{C}$-Modules monad and $\mathbb{N}$-Modules monad

Published on 31 May 2019 - 16:54

149

Views

Exception monad categorically

Published on 04 Jun 2019 - 23:01

146

Views

How are two monads with isomorphic Eilenberg-Moore categories related?

Published on 01 Jul 2019 - 17:08

56

Views

Coproduct and a natural transformation

Published on 04 Jul 2019 - 15:00

79

Views

What are the category and monoids given rise to by a monad?

Published on 24 Mar 2026 - 17:34

112

Views

Given $\eta \colon I_X \Rightarrow T$, is $\eta$ just $T \circ (-)$?

Published on 17 Jul 2019 - 11:25

151

Views

What does the multiplication operation of a monad mean?

Published on 23 Jul 2019 - 17:19

57

Views

How can the two diagrams in definition of monad be written as identity equations?

Published on 24 Jul 2019 - 1:52

346

Views

Why are the two natural transformations in the definition of monad called the unity and multiplication?

Published on 24 Jul 2019 - 2:00

148

Views

quasi-inverse of comparison functor

Published on 01 Aug 2019 - 10:16

88

Views

When does monad structure on $TS$ come from a distributive law?

Published on 04 Aug 2019 - 23:28

222

Views

Does a free algebra over a nontrivial monad have a well-defined dimension?

Published on 16 Aug 2019 - 23:07

58

Views

Iteration operator and fixed points

Published on 25 Sep 2019 - 8:28

List Question

Monad terminology/reference request

Monad laws in category theory vs Haskell

Distributive law for $\mathbb{C}$-Modules monad and $\mathbb{N}$-Modules monad

Exception monad categorically

How are two monads with isomorphic Eilenberg-Moore categories related?

Coproduct and a natural transformation

What are the category and monoids given rise to by a monad?

Given $\eta \colon I_X \Rightarrow T$, is $\eta$ just $T \circ (-)$?

What does the multiplication operation of a monad mean?

How can the two diagrams in definition of monad be written as identity equations?

Why are the two natural transformations in the definition of monad called the unity and multiplication?

quasi-inverse of comparison functor

When does monad structure on $TS$ come from a distributive law?

Does a free algebra over a nontrivial monad have a well-defined dimension?

Iteration operator and fixed points

Trending Questions

Popular # Hahtags

Popular Questions