6 votes

Bar construction in commutative algebras is calculated by pushout

A way to see this which doesn't dive into the specifics of the simplicial diagram "$C\otimes D^{\otimes n}\otimes E$" is to apply 3.2.4.7 to the symmetric monoidal $\infty$-category $Mod_D(\...
Maxime Ramzi's user avatar
  • 13.3k
6 votes

Bar construction in commutative algebras is calculated by pushout

Welcome to MathOverflow! First, let me point out that what you're asking is already true at the 1-categorical level. The pushout in the category of commutative rings is computed by the tensor product. ...
David White's user avatar
  • 29.4k
3 votes
Accepted

Bar construction in commutative algebras is calculated by pushout

This is just to be explicit about the role of the bar construction in David's answer. If $I$ is the category $a \leftarrow b \rightarrow c$ parametrizing pushout diagrams, then there is a functor $f: ...
Tyler Lawson's user avatar
  • 51.1k
1 vote

Strictifying strong monoidal functors

Here is another example that shows the answer to the second part (where both $C_i$ are strict) is negative. Let $C_1$ be the discrete strict monoidal category whose monoid of objects is the Booleans. ...
Aaron David Fairbanks's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible