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.
It would be nice to add a link to monoidal category which is currently still spam-locked…
I have now removed the lock on editing the page monoidal category. The commit can be seen on github. I made a trivial edit and then another one to put the page back as it was before, to test that editing was now possible.
On the part about oplax monoidal categories, what does “weakly representable” mean? Does it mean satisfying the existence but not uniqueness part of representability (in type theory terminology $\beta$ but not $\eta$)? Is there an appropriate link?
It means the morphism only satisfies a universal property (with an ordinary isomorphism) for multimorphisms without extra objects added on each side. See for instance section 9 of http://tac.mta.ca/tac/volumes/24/21/24-21abs.html.
1 to 8 of 8