2016-01-25: John Power (Bath)

Sat, 21 Oct 2023 21:24:08 +0100

John Power (Bath)

Lawvere Theories

Abstract

In 1963, Bill Lawvere characterised universal algebra in category theoretic terms. His formulation being category theoretic was not its central contribution: more fundamental was its presentation independence. Three years later, monads were proposed as another category theoretic formulation of universal algebra. Overall, the former are technically better but the relationship is particularly fruitful and the latter are more prominent, cf Betamax vs VHS. So we study Lawvere theories carefully in the setting of universal algebra and in relation to monads.

2016-01-25 10:30:00 UTC
LT1310