This paper is an attempt to prove the following result:Let $n>1$ be an integer and let $mathcal{R}$ be a $n!$-torsion-free ring with the identity element. Suppose that $d, delta, varepsilon$ are additive mappings satisfyingbegin{equation}d(x^n) = sum^{n}_{j=1}x^{n-j}d(x)x^{j-1}+sum^{n-1}_{j=1}sum^{j}_{i=1}x^{n-1-j}Big(delta(x)x^{j-i}varepsilon(x)+varepsilon(x)x^{j-i}delta(x)Big)x^{i-1}quadend{e...

Let H be an infinite--dimensional Hilbert space and K(H) be the set of all compact operators on H. We will adopt spectral theorem for compact self-adjoint operators, to investigate of higher derivation and higher Jordan derivation on K(H) associated with the following cauchy-Jencen type functional equation 2f(frac{T+S}{2}+R)=f(T)+f(S)+2f(R) for all T,S,Rin K(H).

Let H be an innite dimensional Hilbert space and K(H) be the set of all compactoperators on H. We will adopt spectral theorem for compact self-adjoint operators, to investigate ofhigher derivation and higher Jordan derivation on K(H) associated with the following Cauchy-Jensentype functional equation 2f((T + S)/2+ R) = f(T ) + f(S) + 2f(R) for all T, S, R are in K(...

We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivation type for n-categories, generalising the one introduced by Squier for word rewriting systems. We characterise this property by using the notion of critical branching. In particular, we define sufficient conditions f...