Mathematics – Category Theory
Scientific paper
2011-12-14
Mathematics
Category Theory
36 pages, presented at CT2011
Scientific paper
Distributive laws give a way of combining two algebraic structures expressed as monads; in this paper we propose a theory of distributive laws for combining algebraic structures expressed as Lawvere theories. We propose four approaches, involving profunctors, monoidal profunctors, an extension of the free finite-product category 2-monad from Cat to Prof, and factorisation systems respectively. We exhibit comparison functors between CAT and each of these new frameworks to show that the distributive laws between the Lawvere theories correspond in a suitable way to distributive laws between their associated finitary monads. The different but equivalent formulations then provide, between them, a framework conducive to generalisation, but also an explicit description of the composite theories arising from distributive laws.
No associations
LandOfFree
Distributive laws for Lawvere theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Distributive laws for Lawvere theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Distributive laws for Lawvere theories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-225052