Category Theory III 4.1, Monad algebras part 2

Category Theory III 4.1, Monad algebras part 2

Category Theory III 4.2, Monad algebras part 3See more

Category Theory III 4.2, Monad algebras part 3

Monads 4See more

Monads 4

Category Theory III 3.1, Adjunctions and monadsSee more

Category Theory III 3.1, Adjunctions and monads

New View on AI: Monad Algebra in Category TheorySee more

New View on AI: Monad Algebra in Category Theory

Monads 3See more

Monads 3

Category Theory III 3.2, Monad AlgebrasSee more

Category Theory III 3.2, Monad Algebras

Every Adjoint Situation Induces a MonadSee more

Every Adjoint Situation Induces a Monad

Category Theory III 5.2, Lawvere TheoriesSee more

Category Theory III 5.2, Lawvere Theories

Monadic FunctorsSee more

Monadic Functors

Category Theory Part 4 of 3: Natural TransformationsSee more

Category Theory Part 4 of 3: Natural Transformations

The Kleisli Category for a MonadSee more

The Kleisli Category for a Monad

Steve Awodey: Type theories and polynomial monads​See more

Steve Awodey: Type theories and polynomial monads​

News