Category Theory III 5.1, Eilenberg Moore and Lawvere

Monads from adjunctions, from monoids to Lawvere theory

[tarikozkanli]

what do you call a monoid in the category of endofunctors on the category of programming languages?

[ShimshonDI]

Pardon my confusion, but wouldn't T=U∘F be an endofunctor acting on C, not C^T?

[RafaelSCalsaverini]

Does the comonad associated with this adjunction mean anything? Is it useful in any way?

[joebloggsgogglebox]

At 4:30 where you define the co-unit do you mean that epsilon is sigma, i.e. it takes an F-algebra to the F-algebra "underneath" ? The way you explain it makes it sound like epsilon takes an F-algebra to a morphism which doesn't make sense.

[georgen]

now the time is eleven o clock in Nigeria, but the shops are shut ....until ...???

[georgen]

the temperature t in degree fareheit so there is power variation in the conversion ... all electric equipment needs minimum temperature for heating the element ... but if the temperature is rapidly draining out quickly because the equipment is designed to maintained to work at certain temperature . laptops are not super computers to be maintained at low temperatures but to keep super computers in working conditions especially for maintaining the peperipheral devices the temperature is kept lower than the surrounding temperature .... ideal temperature of minimum temperature of twenty degree Celsius is always draining to zero so the performance of computers is inefficient many companies are using ups uninterrupted power but even this power is also interrupted ....so the desired level of computer continuity is poor even for 2.4 giga hetz clever guys they maintain low temperature at which the connectivity to other computers is not achievable .... jessypanerselvam email