List questions from monads | MathQa

Ma -> (a -> Mb) -> Mb ... vs ... Ma -> (a -> b) -> b

Published on 17 Apr 2025 - 20:32

Can every monad give rise to a monad transformer?

Published on 13 Apr 2025 - 0:41

When can we use a monic morphism to copy an algebraic structure?

Published on 17 Apr 2025 - 17:31

Natural map from cokernel of a monad

Published on 09 Apr 2025 - 18:22

How can you actually do universal algebra with monads?

Published on 12 Apr 2025 - 22:00

Monad as not trivial adjunctions

Published on 12 Apr 2025 - 0:53

Non-monadic adjunction

Published on 12 Apr 2025 - 13:56

Composing functors with natural transformations

Published on 14 Apr 2025 - 6:37

Monads and Monoids-as-categories

Published on 15 Apr 2025 - 21:14

The left adjoint to the forgetful functor $G\colon\mathsf{Vect}_\mathbb{C}\to\mathsf{Vect}_\mathbb{R}$ and Barr-Beck

Published on 10 Apr 2025 - 8:23