2016-01-26: John Power (Bath)

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

John Power (Bath)

Enriched Lawvere Theories

Abstract

In this talk, we consider extending Lawvere theories to allow enrichment in a base category such as CMonoid, Poset or Cat. In doing so, we see that we need to alter the formulation in a fundamental way, using the notion of cotensor, a kind of limit that is hidden in the usual accounts of ordinary category theory but is fundamental to enriched category theory. If time permits, we will briefly consider the specific issues that arise when one has two-dimensional structure in the enriching category, as exemplified by Poset and Cat.

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