Related papers: Sweedler Theory for (co)algebras and the bar-cobar…
In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and…
We prove that given $\mathcal{C}$ a presentably symmetric monoidal $\infty$-category, and any essentially small $\infty$-operad $\mathcal{O}$, the $\infty$-category of $\mathcal{O}$-algebras in $\mathcal{C}$ is enriched, tensored and…
We show that the cobar construction of a DG-bialgebra is a homotopy G-algebra. This implies that the bar construction of this cobar is a DG-bialgebra as well.
We describe the category of homotopy coalgebras, concentrating on properties of relatively cofree homotopy coalgebras, morphisms and coderivations from an ordinary coalgebra to a relatively cofree homotopy coalgebra, morphisms and…
We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When…
In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits…
The classical bar-cobar adjunction between dg algebras and dg coalgebras goes back to the origins of differential homological algebra as developed by Cartan, Eilenberg, Moore, and many others, and is part of the broader framework of Koszul…
In this paper, we prove that the DG category of DG complex of DG category of a differential graded algebra A is homotopy equivalent to that of comodules over the simplicial bar complex of A. Under the assuption of connectedness of A, we…
If $\mathcal{C}$ is a cocomplete monoidal category in which tensoring from both sides preserves coequalizers, then the category of monoids over $\mathcal{C}$ is cocomplete. The same holds if $\mathcal{C}$ has regular factorizations and…
It is shown that the multiplicative monoids of Temperley-Lieb algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself. Such a self-adjunction is found in a…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…
We give a short and streamlined proof of the following statement recently proven by the author and M. Zeinalian: the cobar construction of the dg coassociative coalgebra of normalized singular chains on a path-connected pointed space is…
We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a…
We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg…
We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an abelian monoidal category. Under some further conditions we show that such a cotensor coalgebra exists and satisfies a meaningful universal…
We provide bar and cobar constructions as functors between some categories of curved algebras and curved augmented coalgebras over a graded commutative ring. These functors are adjoint to each other.
We study weak commutative algebras in a symmetric monoidal model category $\mathscr{M}$. We provide a model structure on these algebras for any symmetric monoidal model category that is combinatorial and left proper. Our motivation was to…
We discuss Lurie's (derived) bar and cobar constructions, the classical ones for simplicial groups and sets (due to Eilenberg-MacLane and Kan), and the classical ones for differential graded (co)algebras (due to Eilenberg-MacLane and Adams)…
We give a natural-deduction-style type theory for symmetric monoidal categories whose judgmental structure directly represents morphisms with tensor products in their codomain as well as their domain. The syntax is inspired by Sweedler…
The construction of the cotensor coalgebra for an "abelian monoidal" category $\M$ which is also cocomplete, complete and AB5, was performed in [A. Ardizzoni, C. Menini and D. \c{S}tefan, \emph{Cotensor Coalgebras in Monoidal Categories},…