Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"coalgebra"”.
-
Noncommutative symmetric functions of type B
… are shown to have an algebra, a comodule, and a coalgebra structures. The noncommutative symmetric functions BSym are then introduced as a module over Sym dual to the comodule structure of BQSym. It is then made into a coalgebra dual to the algebra structure of BQSym, and into an algebra dual to …
-
Integrabilidad de sistemas no lineales hamiltonianos con N grados de libertad
… systems with N degrees of freedom through the coalgebra symmetry approach. Firstly, we have obtained the necessary integrability condition for a symplectic realization of any Poisson coalgebra, which has been systematically explored for dimensions 3,4,5 and 6. The associated integrable systems …
-
On Schur algebras, Doty coalgebras and quasi-hereditary algebras
Motivated by Doty's Conjecture we study the coalgebras formed from the coefficient spaces of the truncated modules. We call these the Doty Coalgebras D_(n,p)(r). We prove that D_(n,p)(r) = A(n,r) for n = 2, and also that D_(n,p)(r) = A(\pi,r) with \pi a suitable saturated set, for the cases; i) n = …
-
Coalgebraic Methods for Object-Oriented Specification
This thesis is about coalgebraic methods in software specification and verification. It extends known techniques of coalgebraic specification to a more general level to pave the way for real world applications of software verification. There are two main contributions of the present thesis: 1. …
-
On Hopf Algebra Type and Rational Calculus Decompositions
… a multiplication map m:A⊗A→ A and a coalgebra with a comultiplication map D: A→A⊗A which must behave well with respect to each other. Mimicking this definition, we say that an object X of any category which has coproducts, ∨ , is of Hopf algebra type if there is a map …
-
Inductive constructions for Lie bialgebras and Hopf algebras
… direct sum as an algebra and a twisting as a coalgebra. We also indicate a number of ways in which the triple is related to the double.
-
Categories in control systems software: toward a unified theory of programming & control
… machines can be cast in terms of algebra and coalgebra which give natural mechanism to the input-driven evolution of internal state of the control programs, and infinite records of behaviour. The internal language of that model is consonant with sufficiently structured domain specific …