11
$\begingroup$

Suppose that $X$ and $Y$ are two categories. Let $\operatorname{Funny}(X,Y)$ denote the category whose objects are functors $X\to Y$ and whose morphisms are unnatural transformations $F\to G$, where an unnatural transformation $F\to G$ is given by an $\operatorname{Ob}(X)$-indexed family of arrows $\gamma_x:F(x)\to G(x)$, and that's it.

It is easy to see that its left adjoint gives a symmetric monoidal closed structure with unit object the terminal category. We call this monoidal product the funny tensor product and denote it by $\Box$.

What I'd like to know is if the funny tensor product satisfies any algebraic "laws" with the ordinary cartesian product, by which I mean, if we have some kind of sequence of tensor products and cartesian products together with parentheses, for example, something like the sequence $$(((A\Box B)\times C)\Box D)\times E,$$ there is a way to either rearrange the parentheses or rewrite the expression with fewer or no parentheses.

For instance, we can think of distributivity as an algebraic "law" between two operations. We can see associativity as an algebraic "law" between an operation and itself. However, I have never seen a nontrivial "law" between two associative operations having the same unit. Is there an extended form of the Eckmann-Hilton argument which shows that no nontrivial relationship of this type can ever be satisfied unless the two operations are equal (given that they are both associative and share a unit)?

$\endgroup$
4
  • 2
    $\begingroup$ Can you describe $\square$ explicitly? $\endgroup$ Jul 23, 2012 at 9:19
  • 1
    $\begingroup$ Not completely explicitly. Given two finite directed graphs (by which I mean actual directed graphs, not all quivers) $X$ and $Y$, we define the tensor product of digraphs to be the digraph with $(X \otimes Y)_0 = X_0 × Y_0$ and $(X\otimes Y)_1 = X_0 \times Y_1\coprod X_1 \times Y_0$ where the sources are given by $s(x,g)=(x,s(g))$ and $s(f,y)=(s(f),y)$. Then in the category of free categories on finite directed graphs, we define the tensor product of $F(X)\Box F(Y)$ to be $F(X\otimes Y)$. Since free categories on finite directed graphs are dense in $\mathbf{Cat}$, we can extend it everywhere. $\endgroup$ Jul 23, 2012 at 10:16
  • $\begingroup$ (In this setup, you have to define $\Box$ on arrows between on free categories on finite directed graphs, which amounts defining, for any maps $f:[1]\to F(X)$ and $g:[1] \to F(Y)$, a map $f\Box g$, but such maps classify arrows, which are specified uniquely by finite-length sequences of "composable" arrows $f_0,\dots,f_n$ and $g_0, \dots, g_m$ in the generating digraph. Then we send $[1]\Box x$ for $y\in \{0,1\}$ to the composite of $(f_0,y),\dots,(f_n,y)$ and $x \Box [1]$ for $x\in \{0,1\}$ to the composite of the $(x,g_0)\dots (x, g_m)$. However, these generate $[1]\Box[1]$, so we win.) $\endgroup$ Jul 23, 2012 at 10:44
  • $\begingroup$ You also need that the digraphs have "no direct loops", which is a condition I forgot to impose. $\endgroup$ Jul 23, 2012 at 11:31

1 Answer 1

15
$\begingroup$

In a recent article

Mark Weber, Free Products of Higher Operad Algebras, Theory and Applications of Categories, Vol. 28, No. 2, 2013, pp. 24–65, journal, arXiv:0909.4722.

there is a nice description of $□$ in terms of a pushout of the span $A_0\times B\leftarrow A_0\times B_0\rightarrow A\times B_0$. This works as well for the presheaf category of graphs (directed multigraphs, if you like). This pushout description yields canonical functors $A□(B\times C)\rightarrow(A□B)\times C$ that are easily seen not to be isomorphisms (both categories or graphs have the same objects, but different morphisms). In fact, $□$ as tensor and $\times$ as "par" provide a "linearly distributive structure" on both, the category of small categories and the category of small graphs. The latter notion is due to Robin Cockett and Robert Seely and was initially called "weak distributivity" (Weakly distributive categories, JPAA 114 Issue 2 (1997) pp 133--173, doi:10.1016/0022-4049(95)00160-3, plus corrected version (pdf) on Robert Seely's web page).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.