In this paper the integrals of entwining structure (A,C,ψ) are discussed, where A is a k-algebra, C a k-coalgebra and a k-linear map. We prove that there exists a normalized integral γ:C→Hom(C,A) of (A,C,ψ) if and...In this paper the integrals of entwining structure (A,C,ψ) are discussed, where A is a k-algebra, C a k-coalgebra and a k-linear map. We prove that there exists a normalized integral γ:C→Hom(C,A) of (A,C,ψ) if and only if any representation of (A,C,ψ) is injective in a functorial way as a corepresentation of C. We give the dual results as well.展开更多
文摘In this paper the integrals of entwining structure (A,C,ψ) are discussed, where A is a k-algebra, C a k-coalgebra and a k-linear map. We prove that there exists a normalized integral γ:C→Hom(C,A) of (A,C,ψ) if and only if any representation of (A,C,ψ) is injective in a functorial way as a corepresentation of C. We give the dual results as well.
