In the present paper, necessary and sufficient conditions are found under which a coalgebra is left-symmetriccoalgebra. A method for constructing coalgebras described. An example of left-symmetric constructed.Necessary given Novikov coalgebra. exampleof non-locally finite constructed.

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 property. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth.

We introduce the notion of a partial corepresentation given Hopf algebra H over coalgebra C and closely related concept H-comodule. prove that there exists universal Hpar, associated to original H, such category regular H-comodules is isomorphic Hpar-comodules. coalgebroid show Hpar has structure suitable coalgebra.

In this report we study the connection between two well known models for interactive systems. Reactive Systems à la Leifer and Milner allow to derive an interactive semantics from a reduction semantics guaranteeing, under rather restrictive conditions, the compositionality of the abstract semantics (bisimilarity). Universal Coalgebra provides a categorical framework where bisimilarity can be ch...

We show that the reduced Hochschild homology of a DG open Frobenius algebra has the natural structure of a Batalin-Vilkovisky coalgebra, and the reduced cyclic homology has the natural structure of a gravity coalgebra. This gives an algebraic model for a Batalin-Vilkovisky coalgebra structure on the reduced homology of the free loop space of a simply connected closed oriented manifold, and a gr...

For an endofunctor H an initial algebra I has, by Lambek’s Lemma, invertible structure map, thus, it can be considered as a coalgebra. We call an H-coalgebra wellfounded if it has a coalgebra homomorphism into I. This is equivalent to the wellfoundedness in Taylor’s “Practical Foundations”, defined by means of an induction principle. And it is also equivalent to the recursivity studied by Capre...

The paper introduces the notion of a locally coalgebra-Galois extension and, as its special case, a locally cleft extension, generalising concepts from [9]. The necessary and sufficient conditions for a locally coalgebra-Galois extension to be a (global) coalgebra-Galois extension are stated. As an important special case, it is proven, that under not very restrictive conditions the gluing of tw...