Higher Dimensional Algebras as Ideal Maps

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.