Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 1 of 1
Has anyone ever studied linear distributive categories that have only one of the two linear associators, so that for instance $(A\bullet -)$ is $\otimes$-strong but not $(-\bullet C)$? I’m curious because I think there is an example consisting of the strong endofunctors of a monoidal category $V$, where $\otimes$ is pointwise tensor product and $\bullet$ is functor composition.
1 to 1 of 1