Let  be an n-dimensional Riemannian manifold, and  be its tangent bundle with the lift metric. Then every infinitesimal fiber-preserving conformal transformation  induces an infinitesimal homothetic transformation on .  Furthermore,  the correspondence   gives a homomorphism of the Lie algebra of infinitesimal fiber-preserving conformal transformations on  onto the Lie algebra of infinitesimal ...

let h be a finite dimensional complex hilbert space, b(h)+ be the set of all positive semi-definite operators on h and phi is a (not necessarily linear) unital map of b(h) + preserving the entropy-gibbs transformation. then there exists either a unitary or an anti-unitary operator u on h such that phi(a) = uau* for any b(h) +. thermodynamics, a branch of physics that is concerned with the study...

we find a criterion for a morphism of coalgebras over a barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...

The task of setting a hydraulic system into operation constitutes some kind of configuration problem. To be more specific, this task is comprised of several configuration checking problems placed at different levels of abstraction. Configuration technology as developed in the past is only partly capable to cope with these checking problems. The reason for this is that the checking of a hydrauli...

Practical model transformation (MT) frameworks are usually composed of multiple execution contexts, building an overall workflow by abstracting different aspects of execution. This heterogeneity brings additional challenges to debugging, which must address a combination of quite different graphical and textual formalisms. In this work we describe a layered approach to debugging, mapping familia...

we start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{cambat}. as in cite{cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{n}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. the last chapter of this article asserts that, up to precise...