List questions from monads | MathQa

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

Published on 06 Jun 2025 - 14:59

Can every monad give rise to a monad transformer?

Published on 05 Jun 2025 - 14:50

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

Published on 05 Jun 2025 - 3:07

Natural map from cokernel of a monad

Published on 05 Jun 2025 - 13:22

How can you actually do universal algebra with monads?

Published on 05 Jun 2025 - 18:21

Monad as not trivial adjunctions

Published on 05 Jun 2025 - 7:32

Non-monadic adjunction

Published on 05 Jun 2025 - 15:26

Composing functors with natural transformations

Published on 05 Jun 2025 - 5:32

Monads and Monoids-as-categories

Published on 03 Jun 2025 - 15:16

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

Published on 05 Jun 2025 - 3:30