Higher dimensional algebras as ideal maps

Abstract

In this work, we explain the close relationship between an ideal map structure $S\rightarrow End_{R}(R)$ on a homomorphism of commutative $k$-algebras $R\rightarrow S$ and an ideal simplicial algebra structure on the associated bar construction $Bar(S,R)$. We also explain this structure for crossed squares of algebras.