Related papers: Morita Theory for corings and cleft entwining stru…
We show for a coring which is finitely generated projective as a left module that the Cartier cohomology is isomorphic to the relative Hochschild cohomology of the right algebra. Furthermore, we show that this isomorphism lifts to the level…
We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…
We introduce a monoidal category of corings using two different notions of corings morphisms. The first one is the (right) coring extensions recently introduced by T. Brzezi\'nski in [2], and the anther is the usual notion of morphisms…
In this note we introduce and investigate the concepts of dual entwining structures and dual entwined modules. This generalizes the concepts of dual Doi-Koppinen structures and dual Doi-Koppinen modules introduced (in the infinite case over…
Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the…
Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts are here shown to be lax functors out of the chaotic category with two objects. This allows various aspects in the theory of Morita…
Motivated by algebraic structures appearing in Rational Conformal Field Theory we study a construction associating to an algebra in a monoidal category a commutative algebra ({\em full centre}) in the monoidal centre of the monoidal…
Morita theory for quantales is developed. The main result of the paper is a characterization of those quantaloids (categories enriched in the symmetric monoidal closed category of sup-lattices) that are equivalent to modular categories over…
Interpreting entwining structures as special instances of J. Beck's distributive law, the concept of entwining module can be generalized for the setting of arbitrary monoidal category. In this paper, we use the distributive law formalism to…
The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {\em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is…
We give a simple generalisation of a theorem of Morita, which leads to a great number of relations among tautological classes on moduli spaces of curves.
In this paper we lay the basis of the theory of rational modules of corings extending results on rational modules for coalgebras to the case of arbitrary ground rings. We apply these results mainly to categories of entwined modules (e.g.…
We introduce Morita equivalence to the study of Kleene algebras and modules. Classical characterizations of Morita-equivalent semirings such as having equivalent categories of modules and one semiring being a full matrix algebra over the…
The notion of a Frobenius coring is introduced, and it is shown that any such coring produces a tower of Frobenius corings and Frobenius extensions. This establishes a one-to-one correspondence between Frobenius corings and extensions.
A relationship between coseparable corings and separable non-unital rings is established. In particular it is shown that an A-coring C has an associative A-balanced product. A Morita context is constructed for a coseparable coring with a…
We develop a homotopy theoretical version of classical Morita theory using the notion of a strong monad. It was Anders Kock who proved that a monad T in a monoidal category E is strong if and only if T is enriched in E. We prove that this…
We characterize Morita equivalence of theories in the sense of Johnstone in terms of a new syntactic notion of a common definitional extension developed by Barrett and Halvorson for cartesian, regular, coherent, geometric and first-order…
Let $A$ be an algebra in a monoidal category $\Cc$, and let $X$ be an object in $\Cc$. We study $A$-(co)ring structures on the left $A$-module $A\ot X$. These correspond to (co)algebra structures in $EM(\Cc)(A)$, the Eilenberg-Moore…
We present a survey of results concerning the use of inductive constructions to study the rigidity of frameworks. By inductive constructions we mean simple graph moves which can be shown to preserve the rigidity of the corresponding…
Most elemental metals under ambient conditions adopt simple structures such as BCC, FCC and HCP in specific groupings across the Periodic Table, and on compression, many of these elements undergo transitions to surprisingly complex…