## March 7, 2017

### Algebra Valued Functors in General and Tensor Products in Particular

#### Posted by Emily Riehl Guest post by Maru Sarazola

The Kan Extension Seminar II continues, and this time we focus on the article “Algebra valued functors in general and tensor products in particular” by Peter Freyd, published in 1966. Its purpose is to present algebraic theories and some related notions in a way that doesn’t make use of elements, so the concepts can later be applied to any category (satisfying some restrictions).

Concerned that the language of categories was not popular enough at the time, he chooses to target a wider audience by taking an “equational” approach in his exposition (in contrast, for example, to Lawvere’s more elegant approach, purely in terms of functors and natural transformations). I must say that this perspective, which nowadays might seem somewhat cumbersome, greatly helped solidify my understanding of some of these notions and constructions.

Before we start, I would like to thank Brendan Fong, Alexander Campbell and Emily Riehl for giving me the opportunity to take part in this great learning experience, and all the other participants for their enlightening comments and discussions. I would also like to thank my advisor, Inna Zakharevich, for her helpful comments and especially for her encouragement throughout this entire process.

### Algebraic theories and their algebras

An algebraic theory $\mathbb{T}$ is a family of operator symbols $\{ f_i\}$, together with non-negative integers $\{ v_i\}$ and equations relating the $f_i$’s, each of which looks in the equations as if it were a function on $v_i$ arguments.

For a locally small category $\mathcal{A}$ with finite products, we say that $A\in\mathcal{A}$ is a $\mathbb{T}$-algebra if it admits a $\mathbb{T}$-structure, meaning each operator $f_i\in\mathbb{T}$ has an interpretation $\bar{f_i}:\prod_{v_i}A\to A$ such that all equations are true when interpreted as maps in $\mathcal{A}$. Interpretations of these $n$-ary expressions follow the rules:

1. If $g(x_1,x_2,\dots ,x_n)=x_j$, then we interpret $g$ as the $j$-th projection.
2. If $g(x_1,\dots ,x_n) =f_i(h_1(x_1,\dots,x_n),\dots,h_{v_i}(x_1,\dots, x_n))$ and we have already interpreted the $h_i$’s as $\bar{h_i}:\prod_n A\to A$ and $f_i$’s as $\bar{f_i}:\prod_{v_i} A\to A$, then we interpret $g$ as $\prod_n A \xrightarrow{\prod\bar{h_i}} \prod_{v_i} A\xrightarrow{\bar{f_i}} A$.

We will denote by $\mathcal{A}^\mathbb{T}$ the category of $\mathbb{T}$-algebras and homomorphisms in $\mathcal{A}$.

Even though Freyd’s equational approach is (purposefully) quite different, these notions are equivalent to the ones introduced by Lawvere and mentioned previously in Evangelia’s post.

Recall that a Lawvere theory is a small category $L$ with finite products, together with a strict finite-product preserving identity-on-objects functor $I:\aleph_0^{\text{op}}\to L$, and a model for the theory is a finite-product preserving functor $M:L\to C$. In this case, the operators $f_i$ determine the non-basic operations in $L(v_i,1)$ (i.e. maps not coming from the product structure), with the equations corresponding to composition in $L$. As to the algebras/models, an algebra $A\in\mathcal{A}$ with interpretations $\bar{f_i}$ corresponds to the finite-product preserving functor $M:L\to\mathcal{A}$ such that $M(1)=A$ and $M(f_i)=\bar{f_i}$.

### Constants and 0’ary operations

It seems necessary to take a moment to discuss $0$‘ary operations, since Freyd decides to take a non-conventional approach. It is natural to think of the interpretation of $0$‘ary operations as constants, and so we could say that a $0$‘ary operation on $A\in\mathcal{A}$ is a constant unary operation, i.e. a map $A\to A$ where $B\xrightarrow{f} A\to A = B\xrightarrow{g} A\to A$ for every $B\in\mathcal{A}$ and all maps $f$ and $g$.

However, this comes with a problem: setting $\mathcal{A}=\mathbf{Set}$, the empty set would be an algebra for every algebraic theory –even those that have constants– and all our algebraic intuition revolts against this! To fix this problem, Freyd defines a generalized $0$‘ary operation: a collection of maps $\{f_B\in (B,A)\}_{B\in\mathcal{A}}$ such that for every map $B\to B'$ the diagram commutes Given such a collection, it’s clear from the definition that $f_A$ would be a constant map; reciprocally, given a constant map, we can take that to be $f_A$ and then the commutative diagram ensures us that every other $f_B$ is automatically determined by any map $B\to A$. This shows that it is reasonable to consider maps $A\to A$ as our $0$‘ary operations.

We must be careful though, because it might be the case that $(B,A)=\emptyset$ for some $B\in\mathcal{A}$, which makes it impossible to build such a collection. Whenever this is the case, we will say that there are no $0$‘ary operations on $A$ and therefore $A$ cannot be a $\mathbb{T}$-algebra for any algebraic theory that has $0$‘ary operations.

Although this treatment of constants and $0$‘ary operations eliminates the problem of the empty set, it seems terribly unnatural to me. I’m left wondering, why didn’t Freyd define a $0$‘ary operation on $A$ as a map $T\to A$ where $T$ is the terminal object in $\mathcal{A}$? Are there important examples of categories over which we want to consider algebras for certain theories, and that don’t have a terminal object? (I don’t know of any, I’m hoping someone here will)

### Co-algebras

As usual, we obtain a notion of $\mathbb{T}$-co-algebra by dualizing the definition of $\mathbb{T}$-algebra; in other words, a $\mathbb{T}$-co-algebra in $\mathcal{A}$ is precisely a $\mathbb{T}$-algebra in $\mathcal{A}^*$. However, as we will soon see, co-algebras will not be relegated to a dualizing afterthought and will instead play a key role in the understanding of algebra valued functors.

Example. Let’s take a look at an example. Let $\mathbb{T}$ be the algebraic theory of groups, and $\mathcal{A}$ the category of pointed spaces and homotopy classes of maps. In this case the coproduct is the wedge of spaces, and a space $X$ is a $\mathbb{T}$-co-group if there exists a co-product $\Delta:X\to X\vee X$, a co-inverse map $\nu: X\to X$ and a co-unit $\epsilon: X\to X$ satisfying diagrams dual to the group diagrams. As a concrete example we have the $n$-spheres $S^n$ for $n \geq 2$, which admit a co-group structure by taking $\Delta:S^n\to S^n\vee S^n$ to be the operation that collapses the equator of $S^n$ to a point, $\epsilon: S^n\to S^n$ that collapses $S^n$ to the basepoint, and where $\nu: S^n\to S^n$ is any orientation-reversing map (they are all homotopic, after all!). We get the necessary commutative diagrams where $f$ –for “fold”– is the operation dual to the diagonal map $d:S^n\to S^n\times S^n$. Note that this wouldn’t work in $\mathbf{Top}$, since we only have co-associativity up to homotopy.

### Algebra valued functors

Fix $B\in\mathcal{A}^\mathbb{T}$ and denote by $(-,B):\mathcal{A}^{\text{op}}\to\mathbf{Set}$ the contravariant hom-set functor. For any $A\in\mathcal{A}$, we can give $(A,B)$ a $\mathbb{T}$-algebra structure as follows: given an operator $f_i$ in $\mathbb{T}$, and the interpretation $\bar{f_i}:\prod_{v_i}B\to B$ determined by the algebra structure of $B$, we can take its interpretation to be the composition $\prod_{v_i}(A,B)\cong (A,\prod_{v_i} B)\xrightarrow{\bar{f_i}\circ -} (A,B)$ All equations of the theory will be preserved, since $(A,-)$ is a product-preserving functor. Thus, $(-,B)$ is an algebra valued functor and we can write $(-,B):\mathcal{A}^{\text{op}}\to\mathbf{Set}^\mathbb{T}$. Similarly, if $A$ is a $\mathbb{T}$-co-algebra in $\mathcal{A}$, the covariant functor $(A,-):\mathcal{A}\to\mathbf{Set}$ will be algebra valued.

Example: Returning to our example of the $n$-spheres, note that the wedge sum co-product gives $(S^n,B)$ a group structure for any pointed space $B$, which is precisely the usual group structure of the homotopy groups!

Interestingly, the converse of the previous statement is also true! Algebra valued representable functors yield canonical (co)structures on their representatives, so we can actually state the following:

$A\in \mathcal{A}$ is a $\mathbb{T}$-co-algebra (resp. $B$ is a $\mathbb{T}$-algebra) if and only if the functor $(A,-)$ (resp. $(-,B)$) is algebra valued.

To show this less evident converse, fix an operator $f_i$ in $\mathbb{T}$; using the $\mathbb{T}$-algebra structure of $(A,B)$ we have, for every $B\in\mathcal{A}$, a map $(\sum A, B)\simeq \prod(A, B)\xrightarrow{\tilde{f_i}} (A,B)$ It suffices to show that these maps can be put together to form a natural transformation $(\sum A,-)\Rightarrow (A,-)$ since then, by Yoneda, it must come from a map $A\to\sum A$ which we take as the co-interpretation of $f_i$.

This amounts to showing that, for any $g:B\to B'$, the following commutes But $(A,-)$ is an algebra valued functor, so $(A,B)\to (A,B')$ must be a homomorphism, which by definition translates into that diagram being commutative.

For the case of algebra valued functors $F:\mathcal{A}\to\mathbf{Set}^\mathbb{T}$ where $\mathcal{A}$ is complete, we have that $F$ is representable if and only if it has a left adjoint (Theorem 2 in the article). This fact, together with a translation of the general adjoint functor theorem to this algebraic context, yields for any infinite cardinal $\kappa$

A functor $T:\mathbf{Set}^{\mathbb{T}_1}\to\mathbf{Set}^{\mathbb{T}_2}$ is representable by a $\mathbb{T}_1$-algebra with $\kappa$ or less generators (and with a $\mathbb{T}_2$-co-structure) if and only if $F$ preserves products, kernel pairs, and $\kappa$-directed unions.

### The canonical co-structure on free algebras

Let $\mathbb{T}$ be an algebraic theory and let $F$ in $\mathbf{Set}^\mathbb{T}$ be the free algebra on one generator $x$. Then $F$ admits a canonical $\mathbb{T}$-co-algebra structure:

First note that $\sum_n F$ is the free $\mathbb{T}$-algebra on $n$ generators $\{x_1,\dots ,x_n\}$, since “free” constructions preserve colimits. Thus, each operator $f_i$ in $\mathbb{T}$ has an interpretation $\bar{f_i}:\prod_{v_i} (\sum_{v_i} F)\to \sum_{v_i} F$ The canonical co-interpretation of $f_i$ that gives $F$ a co-algebra structure is $\tilde{f_i}:F\to \sum_{v_i} F$ $x\mapsto \bar{f_i}(x_1,\dots ,x_{v_i})$ Chasing the operations around, it’s possible to see that this is the only co-structure on $F$ (up to isomorphism) which makes $(F,-):\mathbf{Set}^\mathbb{T}\to\mathbf{Set}^\mathbb{T}$ naturally equivalent to the identity functor.

### Tensor products of theories

For two algebraic theories $\mathbb{T}_1$ and $\mathbb{T}_2$, we would like to find a theory $\mathbb{T}$ with the property that $\mathcal{A}^\mathbb{T}\cong (\mathcal{A}^{\mathbb{T}_1})^{\mathbb{T}_2}$, i.e. we want $\mathbb{T}$-algebras to be the objects $A\in \mathcal{A}$ with a $\mathbb{T}_1$-structure and a $\mathbb{T}_2$ structure and such that every $\mathbb{T}_2$ operation is a $\mathbb{T}_1$ homomorphism. Let’s make this last condition explicit: every pair of operators $f_i\in\mathbb{T}_1$, $g_j\in\mathbb{T}_2$, must satisfy

(1)$f_i\left(g_j(x_{11},\dots,x_{1v_j}),\dots, g_j(x_{v_i1}, \dots,x_{v_i v_j})\right) = g_j\left(f_i(x_{11},\dots,x_{v_i1}),\dots,f_i(x_{1v_j},\dots,x_{v_i v_j})\right)$

It’s easy to see that the theory we are looking for has as operators the disjoint union of operators in $\mathbb{T}_1$ and $\mathbb{T}_2$, and as equations all the equations found in $\mathbb{T}_1$ and $\mathbb{T}_2$, along with all possible equations of the form (1). If we denote such a theory by $\mathbb{T}_1\otimes \mathbb{T}_2$, then the equivalence with the notion of tensor product of Lawvere theories becomes apparent, as they were both defined to satisfy the universal properties $\mathcal{A}^{\mathbb{T}_1\otimes\mathbb{T}_2}\cong (\mathcal{A}^{\mathbb{T}_2})^{\mathbb{T}_1}       \text{ (Freyd)}$ $\mathbf{Mod}(L\otimes L',\mathcal{A})\cong \mathbf{Mod}(L,\mathbf{Mod}(L',\mathcal{A}))       \text{ (Lawvere)}$

In contrast to the tensor of Lawvere theories, this explicit formulation makes it simple to compute some basic examples. Let $\mathbb{T}_R$ be the theory of modules over a ring $R$ (this has all the operators and equations found in the theory of abelian groups, with the addition of one unary operator $\lambda_r$ for every $r\in R$ that acts as “multiplication by $r$”, and the diagrams ensuring that these define a ring action).

• If $\mathbb{T}_S$ is the theory of modules over $S$, then $\mathbb{T}_R\otimes\mathbb{T}_S$-algebras on $\mathbf{Set}$ will be abelian groups that admit both $R$ and $S$ actions. Furthermore, equation (1) imposes commutativity among these actions: $\lambda_r\lambda_s=\lambda_s\lambda_r$, and so we find that $\mathbb{T}_R\otimes\mathbb{T}_S$ is the theory of modules over $R\otimes S$.
• If $\mathbb{T}_{U}$ is the theory with one unary operator $U$ and no equations, then $\mathbb{T}_R\otimes\mathbb{T}_{U}$ is the theory of modules over the polynomial ring $R[U]$.
• If $\mathbb{T}_{U_1,\dots,U_n}$ is the theory with unary operators $U_1,\dots,U_n$ and no equations, then $\mathbb{T}_R\otimes\mathbb{T}_{U_1,\dots,U_n}$ is the theory of modules over $R[U_1,\dots,U_n]$ where the variables $U_i$ don’t commute (recall that equation (1) is only enforced between an operator of $\mathbb{T}_1$ and one of $\mathbb{T}_2$, not among operators from the same theory).

This generalizes to the following impressive result:

If $\mathbb{T}_1$ is the theory of modules over a semi-ring, then for any $\mathbb{T}_2$, there exists a semi-ring $R$ such that $\mathbb{T}_1\otimes\mathbb{T}_2$ is the theory of modules over $R$.

### An application: theories for closed categories

A category $\mathcal{A}$ is autonomous (according to Linton) if there exists a functor $\mathbf{Hom}:\mathcal{A}^{\text{op}}\times\mathcal{A}\to\mathcal{A}$ and a forgetful functor $U:\mathcal{A}\to\mathbf{Set}$ such that $U\mathbf{Hom}(A,B)\simeq (A,B)$. If we restrict ourselves to algebraic theories $\mathbb{T}$ such that their categories of algebras $\mathbf{Set}^\mathbb{T}$ are autonomous, then these theories are also those which have their categories of algebras closed.

If $\mathbb{T}$ is such a theory, then the fact that we can see $(-,-):(\mathbf{Set}^\mathbb{T})^{\text{op}}\times\mathbf{Set}^\mathbb{T}\to\mathbf{Set}^\mathbb{T}$ as algebra valued means that each $B\in\mathbf{Set}^\mathbb{T}$ has a canonical $\mathbb{T}$-structure in $\mathbf{Set}^\mathbb{T}$. This gives us an embedding $\mathbf{Set}^\mathbb{T}\to\mathbf{Set}^{\mathbb{T}\otimes\mathbb{T}}$, and therefore * $\mathbb{T}$ must be such that every $\mathbb{T}$ operator is a $\mathbb{T}$ homomorphism*; in other words, all operators in $\mathbb{T}$ commute, in the sense of (1).

As an example, if $\mathbb{T}_R$ is once again the theory of modules over $R$, then the largest subtheory $\mathbb{T}'\subset\mathbb{T}_R$ such that $\mathbf{Set}^{\mathbb{T}'}$ is closed will be the largest subtheory with commutative operators: the theory of modules over the center of $R$.

### Lawvere functors

A Lawvere functor is a functor $T:\mathbf{Set}^{\mathbb{T}_1}\to\mathbf{Set}^{\mathbb{T}_2}$ that preserves underlying sets. Since $T$ trivially preserves products, kernel pairs and directed unions, it must be representable; say $T\simeq (A,-)$ for some $A\in\mathbf{Set}^{\mathbb{T}_1}$ with a $\mathbb{T}_2$ co-structure. Then $B\simeq T(B)\simeq (A,B)$ (as sets) for every $B$, so $A$ must be the free $\mathbb{T}_1$ algebra on one generator. We see that Lawvere functors $T:\mathbf{Set}^{\mathbb{T}_1}\to\mathbf{Set}^{\mathbb{T}_2}$ are in one-to-one correspondence with the $\mathbb{T}_2$-co-structures we can place on the free $\mathbb{T}_1$-algebra.

Now, when choosing a $\mathbb{T}_2$-co-structure for the free $\mathbb{T}_1$-algebra $F$ we get, for each operator $f_i\in\mathbb{T}_2$, an interpretation $\bar{f_i}:F\to\sum_{v_i} F$. This will of course be determined by its image on the generator, $\bar{f_i}(x)$, which is in turn an expression in $\mathbb{T}_1$ of the same arity as $f_i$. This shows that $\mathbb{T}_2$-co-structures on the free $\mathbb{T}_1$-algebra are in one-to-one correspondence with theory maps $\mathbb{T}_2\to\mathbb{T}_1$.

We have just built a contravariant functor $\mathbb{T}\mapsto \mathbf{Set}^\mathbb{T}$ from the category of algebraic theories to the category of categories, which is no other than Lawvere’s Semantics functor!

• Freyd’s way of dealing with $0$‘ary operations has been a thorn in my side ever since reading this article. I would love to understand the reason for his choice of definitions, that seems so artificial to me.

A comment regarding $0$‘ary co-operations that might be of relevance: by dualizing the definitions, we obtain the notions of co-constant map and generalized $0$‘ary co-operation, which will be in one-to-one correspondence with each other except in the case where $(A,B)=\emptyset$ for some $B\in\mathcal{A}$; in this case we say that $A$ doesn’t admit a $\mathbb{T}$-co-algebra structure for any $\mathbb{T}$ with $0$‘ary operations.

If we consider the case of the free $\mathbb{T}$-algebra on one generator $F\in\mathbf{Set}^\mathbb{T}$, we see that $(F,B)=\emptyset$ only when $B=\emptyset$. Since we are taking $B\in\mathbf{Set}^\mathbb{T}$, that would imply that the theory $\mathbb{T}$ has no $0$‘ary operations itself. This makes sense, of course, because we already know that $F$ always has a canonical co-structure.

Could the co-algebras be the reason behind these definitions? Are we interested in studying algebras over categories with terminal but no initial object, and if so, are we particularly interested in them having co-algebras too?

• Equation (1) has a taste of a really nice distributive law. Is there a relation between tensors of theories and distributive laws, perhaps asking the latter to satisfy some nice properties? A few clarifying answers have appeared among our reading responses; I look forward to seeing this discussion here!
Posted at March 7, 2017 10:22 AM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2945

### Re: Algebra Valued Functors in General and Tensor Products in Particular

I don’t know why Freyd chose to single out 0-ary operations in that way, but there is a more abstract way to describe what he’s doing that applies also to $n$-ary operations for all $n$. Recall that for any locally small category $\mathcal{A}$, the Yoneda embedding $\mathcal{A} \to P \mathcal{A} = [\mathcal{A}^{op},Set]$ preserves all limits that exist in $\mathcal{A}$, while the presheaf category $P \mathcal{A}$ is complete. Therefore, in any (locally small) category $\mathcal{A}$ at all, we can define a $\mathbb{T}$-algebra in $\mathcal{A}$ to be a $\mathbb{T}$-algebra in $P \mathcal{A}$ (in the naive sense) whose underlying object is representable.

If $\mathcal{A}$ has finite products, this agrees with the more direct definition, because the Yoneda embedding preserves products. If $\mathcal{A}$ doesn’t necessarily have a terminal object, then the 0-ary operations are interpreted as natural transformations from the terminal presheaf into $\mathcal{A}(-,A)$, which if you unravel it is exactly a “generalized 0-ary operation”. Similarly, if $\mathcal{A}$ lacks binary products, then the binary operations are interpreted as natural transformations $\mathcal{A}(-,A) \times \mathcal{A}(-,A) \to \mathcal{A}(-,A)$, i.e. operations assigning to each pair of morphisms $a_1:B\to A$ and $a_2:B\to A$ another morphism $f(a_1,a_2) : B\to A$, in a way that varies naturally with $B$.

It’s also worth noting that since limits in $P \mathcal{A}$ are objectwise, a $\mathbb{T}$-algebra in $P \mathcal{A}$ is the same as a functor from $\mathcal{A}$ to the category of $\mathbb{T}$-algebras in $Set$. Thus, to give $A\in \mathcal{A}$ a $\mathbb{T}$-algebra structure is equivalently to lift its representable functor $\mathcal{A}\to Set$ along the forgetful functor $Set^{\mathbb{T}}\to Set$.

Posted by: Mike Shulman on March 7, 2017 11:42 AM | Permalink | Reply to this

### Re: Algebra Valued Functors in General and Tensor Products in Particular

I think when we work “representably” like you lay out, we are ‘really’ working in an equipment of profunctors.

In her paper “Distributive laws for Lawvere theories”, Eugenia Cheng shows that Lawvere theories are equivalently algebras on the terminal category 1 in the Kleisli equipment of the free product monad $P$ on the equipment of categories, functors, and profunctors. What this all says, ultimately, is that a Lawvere theory is given by a profunctor $L : 1 \times P1^{\text{op}} \to \text{Set}$, a functor from opposite category of the free product category on a single generator (which is the category of finite sets) to sets. $L(n)$ is the set of $n$-ary operations of the theory. To tie this in to the usual view, the Kleisli lift of $L$ to a profunctor $P1 \times P1^{\text{op}} \to \text{Set}$ is the hom-functor of the category of finitely generated free models of $L$, or the opposite of the hom-functor of the category which is usually used to define $L$.

Now, with any algebra in an equipment, we can take its left and right modules. A left module is a profunctor $1 \times PC^{\text{op}} \to \text{Set}$ which is acted on the left by $L$. If we let $C = 1$, then we see that this is a functor $P1^{\text{op}} \to \text{Set}$ which is acted on by $L$; I believe this is a model of $L$, and the for general $C$ we get a presheaf of models on $C$, but I haven’t quite checked this yet.

If you have a model $M$ of $L$ in the usual sense, then the profunctor $C(-, M-)$ is a left $L$-model. I think this is the same thing you are talking about, with operations being represented as natural transformations.

A right module here is a profunctor $C \times P1^{\text{op}} \to \text{Set}$ acted upon by $L$, which I believe can be twiddled into a model of $L$ in $\text{Set}^C$. If $C$ has coproducts, and the model is representable, then we get an $L$ coalgebra. The story Freyd tells about coalgebras in categories of models becomes a story about bimodules of algebras in an equipment!

Posted by: David Jaz Myers on March 7, 2017 8:15 PM | Permalink | Reply to this

### Re: Algebra Valued Functors in General and Tensor Products in Particular

While I love profunctors, I don’t believe this is quite correct. For instance, I think the additional dependence on $P1^{op}$ in a left module prevents it from being an $L$-model.

Posted by: Mike Shulman on March 8, 2017 7:23 PM | Permalink | Reply to this

### Re: Algebra Valued Functors in General and Tensor Products in Particular

This post really helped cement my understanding of Lawvere theories and their tensor products by making everything very concrete.

I was wondering if there is a similarly concrete description of distributive laws between theories. Mike Stay’s comment on an earlier post says that a composite’ of theories $\mathbb{T}_1$ and $\mathbb{T}_2$ is given by

$\mathbb{T}_1 + \mathbb{T}_2 / ~_d$

where $~_d$ expresses the distributive law, but doesn’t say what $~_d$ should look like. Maru’s post tells us that tensors are also of the form

$\mathbb{T}_1 + \mathbb{T}_2 / ~_t$

but this time, we know that $~_t$ takes the form of equation (1) above. This suggests that $~_d$ should say: for every $f_i \in \mathbb{T}_1, g_j \in \mathbb{T}_2$ there exist $f'_i \in \mathbb{T}_1$ and $g'_j \in \mathbb{T}_2$ such that

(1)$f_i\left(g_j(x_{11},\dots,x_{1v_j}),\dots, g_j(x_{v_i1}, \dots,x_{v_i v_j})\right) = g'_j\left(f'_i(x_{11},\dots,x_{v_i1}),\dots,f'_i(x_{1v_j},\dots,x_{v_i v_j})\right)$

We would need the map $(f_i,g_j) \mapsto (g'_j, f'_i)$ to satisfy some conditions akin to those for a distributive law between monads. I’m not sure if this agrees with the abstract definition in Eugenia Cheng’s Distributive laws between Lawvere theories’.

If this definition works, a tensor product would then be a special case, where $f'_i = f_i$ and $g'_j = g_j$.

Posted by: Ze on March 8, 2017 9:42 AM | Permalink | Reply to this

### Re: Algebra Valued Functors in General and Tensor Products in Particular

The commutativity condition is not quite an instance of a distributive law in the usual sense. A distributive law between monads on Set consists of functions $T S \to S T$. An element of $T S X$ is of the form $f(y_1,\dots,y_u)$ for some $u$-ary operation of $T$ and elements $y_1,\dots,y_u$ of $S X$. In turn, each $y_i$ is of the form $g_i(x_{i1},\dots, x_{i v_i})$ for some $v_i$-ary operation of $S$ and elements $x_{i j}$ of $X$, so our element of $T S X$ looks like

$f(g_1(x_{11}, \dots,x_{1 v_i}), \dots, g_u(x_{u1},\dots,x_{u v_u}))$

which is kind of like the LHS of your (1), but involves many different $g$’s. A distributive law $T S \to S T$ then has to assign to each such element, a dual element $g(f_1(\dots),\dots,f_w(\dots))$ of $S T X$, in a coherent way.

But instead of a function, I believe equation (1) can be regarded as a relation between $T S$ and $S T$, and presumably as a sort of “relational distributive law”. I don’t know whether anyone has written down a definition of such a thing, but I’ve been looking into them recently for a different reason. Actually, I’ve been looking at a generalization to proarrow equipments: a “horizontal distributive law” between “vertical monads”.

Posted by: Mike Shulman on March 8, 2017 7:32 PM | Permalink | Reply to this

### Re: Algebra Valued Functors in General and Tensor Products in Particular

The result of Freyd that you mention, characterising algebra valued functors in terms of coalgebras, naturally leads to a number of fun applications. For instance, that the categories of monoids and groups have no monoidal biclosed structures and that the category of categories has exactly two! See the introduction to Algebraic categories with few monoidal biclosed structures or none by Foltz, Kelly and Lair for a summary of results of that kind and references.

The last chapter of George Bergman’s book An invitation to general algebra and universal constructions is much inspired by Freyd’s paper too.

By the way, a nice categorical variant of the above result of Freyd that you mention is the following:

The category of algebras $Alg(T)$ is the free cocomplete category containing a $T$-comodel!

Here the universal $T$-comodel in $Alg(T)$ is the restricted Yoneda embedding $y:T \to Alg(T)$. This gives rise to an equivalence $Comod(T,C) \simeq LAdj(Alg(T),C)$.

Posted by: John Bourke on March 8, 2017 11:34 AM | Permalink | Reply to this

Post a New Comment