List questions from monads

Published on 01 Apr 2026 - 7:32

635

Views

Monad laws in category theory vs Haskell

Published on 29 Apr 2026 - 15:58

46

Views

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

Published on 25 Mar 2026 - 9:23

151

Views

Exception monad categorically

Published on 01 Apr 2026 - 4:45

147

Views

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

Published on 25 Mar 2026 - 9:24

60

Views

Coproduct and a natural transformation

Published on 09 Apr 2026 - 9:10

89

Views

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

Published on 21 Apr 2026 - 12:40

113

Views

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

Published on 25 Mar 2026 - 9:27

152

Views

What does the multiplication operation of a monad mean?

Published on 25 Mar 2026 - 9:27

58

Views

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

Published on 25 Mar 2026 - 9:28

347

Views

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

Published on 25 Mar 2026 - 9:28

149

Views

quasi-inverse of comparison functor

Published on 25 Mar 2026 - 11:02

89

Views

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

Published on 25 Mar 2026 - 9:24

223

Views

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

Published on 25 Mar 2026 - 11:02

60

Views

Iteration operator and fixed points

Published on 01 Apr 2026 - 3:43

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