Semiperfect coalgebras

Semiperfect coalgebras over rings

Our investigation of coalgebras over commutative rings R is based on the close relationship between comodules over a coalgebra C and modules over the dual algebra C∗. If C is projective as an R-module the category of right C-comodules can be identified with the category σ[C∗C] of left C∗-modules which are subgenerated by C. In this context semiperfect coalgebras are described by results from mo...

Semiperfect-Information Games

Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based models are ill-suited for these applications, because they assume that each player has complete information about the state of the system (they are “perfect-information” games). This is because in many situations, a controll...

On semiperfect rings of injective dimension one

We give a characterization of right Noetherian semiprime semiperfect and semidistributive rings with inj. dimAAA 6 1.

Stone coalgebras

In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor on the category of sets. We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. T...

Topology on Coalgebras