Related papers: Some Topics in coalgebra calculus

We study the notion of duality in the context of graded manifolds. For graded bundles, somehow like in the case of Gelfand representation and the duality: points vs. functions, we obtain natural dual objects which belongs to a different…

Let M be a smooth manifold, A a local algebra in sense of Andr\'e Weil, M^{A} the manifold of near points on M of kind A and X(M^{A}) the module of vector fields on M^{A}. We give a new definition of vector fields on M^{A} and we show that…

We construct and study a theory of bivariant cobordism of derived schemes. Our theory provides a vast generalization of the algebraic bordism theory of characteristic 0 algebraic schemes, constructed earlier by Levine and Morel, and a…

We describe a collection of graded rings which surject onto Webster rings for sl(2) and which should be related to certain categories of singular Soergel bimodules. In the first non-trivial case, we construct a categorical braid group…

Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories.…

Covariant Hom-bimodules are introduced and the structure theory of them in the Hom-setting is studied in a detailed way. The category of bicovariant Hom-bimodules is proved to be a (pre)braided monoidal category and its structure theory is…

In this note we develop a coalgebraic approach to the study of solutions of linear difference equations over modules and rings. Some known results about linearly recursive sequences over base fields are generalized to linearly (bi)recursive…

In this paper, we study the moduli space of $1|2$-dimensional complex associative algebras, which is also the moduli space of codifferentials on the tensor coalgebra of a $2|1$-dimensional complex space. We construct the moduli space by…

A Bialgebra is a module over a ring that is both an associative algebra and a co-associative coalgebra with the product and coproduct additionally satisfying an appropriate commutative relationship. One application of Bialgebras is in the…

We develop the noncommutative geometry (bundles, connections etc.) associated to algebras that factorise into two subalgebras. An example is the factorisation of matrices $M_2(\C)=\C\Z_2\cdot\C\Z_2$. We also further extend the coalgebra…

Two cochain complexes are constructed for an algebra A and a coalgebra C entwined with each other via the map $\psi:C\otimes A\to A\otimes C$. One complex is associated to an A-bimodule, the other to a C-bicomodule. In the former case the…

We define a cotriple (co)homology of crossed modules with coefficients in a $\pi_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with…

We introduce a category of noncommutative bundles. To establish geometry in this category we construct suitable noncommutative differential calculi on these bundles and study their basic properties. Furthermore we define the notion of a…

Based on the definition of vertex coalgebra introduced by Hubbard [H], we prove that this notion can be reformulated using the Co-Commutator, Co-Skew symmetry and Co-Associator formulas without restrictions on the grading.

We develop a categorical approach to quivers and their modules. Naturally this leads to a notion of an action of a monoidal category on quivers. Using this, we construct for a large class of quivers rigid monoidal structures on their…

We study coalgebraic modal logic to characterise behavioural equivalence in the presence of side effects, i.e., when coalgebras live in a (co)Kleisli or an Eilenberg-Moore category. Our aim is to develop a general framework based on indexed…

We present an alternative construction of Soergel's category of bimodules associated to a reflection faithful representation of a Coxeter system. We show that its objects can be viewed as sheaves on the associated moment graph. We introduce…

A non associative, noncommutative algebra is defined that may be interpreted as a set of vector modules over a noncommutative surface of rotation. Two of these vector modules are identified with the analogues of the tangent and cotangent…

We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…

For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined…