Category Theory III 5.1, Eilenberg Moore and Lawvere

Category Theory III 5.1, Eilenberg Moore and Lawvere

Category Theory III 5.2, Lawvere TheoriesSee more

Category Theory III 5.2, Lawvere Theories

The Kleisli Category as the Category of Free Eilenberg-Moore ObjectsSee more

The Kleisli Category as the Category of Free Eilenberg-Moore Objects

Category Theory III 4.2, Monad algebras part 3See more

Category Theory III 4.2, Monad algebras part 3

Category Theory Part 1 of 3: CategoriesSee more

Category Theory Part 1 of 3: Categories

Category Theory III 3.1, Adjunctions and monadsSee more

Category Theory III 3.1, Adjunctions and monads

Colimits in EM Categories as Reflexive CoequalizersSee more

Colimits in EM Categories as Reflexive Coequalizers

F. William Lawvere - Categorical Dynamics RevisitedSee more

F. William Lawvere - Categorical Dynamics Revisited

Category Theory III 3.2, Monad AlgebrasSee more

Category Theory III 3.2, Monad Algebras

One Eilenberg Theorem to Rule Them AllSee more

One Eilenberg Theorem to Rule Them All

15 - LADL, Lawvere Theory of a Monoid, DoCC 10See more

15 - LADL, Lawvere Theory of a Monoid, DoCC 10

Toposes - "Nice Places to Do Math"See more

Toposes - 'Nice Places to Do Math'

News