Sweedler Theory for (co)algebras and the bar-cobar constructions

Matthieu Anel, André Joyal

We prove that the category of dg-coalgebras is symmetric monoidal closed and that the category of dg-algebras is enriched, tensored, cotensored and strongly monoidal over that of c…