Related papers: Generator coalgebras are not necessarily quasi-coF…
We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated…
We generalize the results on existence and uniqueness of integrals from compact groups and Hopf algebras in a pure (co)algebraic setting, and find a series of new results on (quasi)-co-Frobenius and semiperfect coalgebras. For a coalgebra…
Let A be a coquasitriangular Hopf algebra and X the subalgebra of A generated by a row of a matrix corepresentation u or by a row of u and a row of the contragredient representation u^c. In the paper left-covariant first order differential…
Recently it was shown that the category of cocommutative Hopf algebras over an arbitrary field $\Bbbk$ is semi-abelian. We extend this result to the category of cocommutative color Hopf algebras, i.e. of cocommutative Hopf monoids in the…
This article is divided into two parts. In the first part we work over a field $\mathbb{k}$ and prove that the Frobenius space associated to a Frobenius algebra is generated as left A-module by the Frobenius coproduct. In particular, we…
We prove, under mild assumptions, that a Quillen equivalence between symmetric monoidal model categories gives rise to a Quillen equivalence between their model categories of (non-symmetric) operads, and also between model categories of…
For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy)…
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…
The algebraic cobordism group of a scheme is generated by cycles that are proper morphisms from smooth quasiprojective varieties. We prove that over a field of characteristic zero the quasiprojectivity assumption can be omitted to get the…
For any dg algebra $A$ we construct a closed model category structure on dg $A$-modules such that the corresponding homotopy category is compactly generated by dg $A$-modules that are finitely generated and free over $A$ (disregarding the…
The category of $\mathfrak{C}$-colored symmetric operads admits a cofibrantly generated model category structure. In this paper, we show that this model structure satisfies a relative left properness condition, i.e., that the class of weak…
For every regular cardinal $\alpha$, we construct a cofibrantly generated Quillen model structure on a category whose objects are essentially DG categories which are stable under suspensions, cosuspensions, cones and $\alpha$-small sums.…
Using the concept of mixable shuffles, we formulate explicitly the quantum quasi-shuffle product. We also provide a desirable description of the subalgebra generated by the set of primitive elements of the quantum quasi-shuffle bialgebra. A…
We prove that relative functors out of a cofibration category are essentially the same as relative functors which are only defined on the subcategory of cofibrations. As an application we give a new construction of the functor that assigns…
Classically, there are two model category structures on coalgebras in the category of chain complexes over a field. In one, the weak equivalences are maps which induce an isomorphism on homology. In the other, the weak equivalences are maps…
Let $B$ be a bialgebra, and $A$ a left $B$-comodule algebra in a braided monoidal category $\Cc$, and assume that $A$ is also a coalgebra, with a not-necessarily associative or unital left $B$-action. Then we can define a right $A$-action…
In this paper, we show that the Thomason model structure restricts to a Quillen equivalent cofibrantly generated model structure on the category of acyclic categories, whose generating cofibrations are the same as those generating the…
We study the quantum cohomology of quasi-minuscule and quasi-cominuscule homogeneous spaces. The product of any two Schubert cells does not involve powers of the quantum parameter higher than 2. With the help of the quantum to classical…
We study the cohomological Hall algebra Y of a lagrangian substack of the moduli stack of representations of the preprojective algebra of an arbitrary quiver Q, and their actions on the cohomology of Nakajima quiver varieties. We prove that…
We study extensively the homotopy theory of coalgebras. By coalgebras, we mean the full theory of coalgebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-coalgebras, $\mathcal A_\infty$-coalgebras,…