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
2 votes

What are the 2-categorical mono/epimorphisms in the 2-category of relations?

$\newcommand{\procirc}{\mathbin{\diamond}}\newcommand{\rightproarrow}{\mathrel{\rightarrow\mkern-17mu|\mkern7mu}}$I just realised one can apply pretty much the same argument for showing that 1-...
Emily's user avatar
  • 10.3k

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