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(\...
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. ...
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: ...
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-...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
higher-category-theory × 1305ct.category-theory × 823
homotopy-theory × 252
infinity-categories × 226
at.algebraic-topology × 176
simplicial-stuff × 134
model-categories × 106
reference-request × 104
higher-algebra × 91
topos-theory × 73
infinity-topos-theory × 69
ag.algebraic-geometry × 66
2-categories × 52
monoidal-categories × 43
homological-algebra × 38
limits-and-colimits × 31
stable-homotopy × 29
stacks × 29
topological-quantum-field-theory × 29
derived-algebraic-geometry × 28
operads × 25
enriched-category-theory × 25
derived-categories × 23
simplicial-categories × 21
extended-tqft × 20