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 but not )? 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.
Added the reference:
added a parenthetical to indicate that first examples were discussed by Szlachányi 2012
added pointer to
where examples are claimed of skew-monoidal model categories whose homotopy categories become monoidal
also, I have touched the wording and hyperlinking in the Idea-section, to be more to the point
and added pointer to
needed for the comments on skew-closure that had been there already
1 to 19 of 19