In this paper we define a sequential composition for arbitrary coalgebras in a Dedekind category. We show some basic algebraic properties of this operation ...
scholar.google.com › citations
Co-algebras, bisimulation, and co-induction play an important role in mathe- matics and computer science. One of the first examples of bisimulations appear.
Relational properties of sequential composition of coalgebras. Michael Winter ... In this paper we define a sequential composition for arbitrary coalgebras in a ...
Michael Winter , Peter Kempf: Relational properties of sequential composition of coalgebras. J. Log. Algebraic Methods Program. 83(2): 284-299 (2014).
Relational properties of sequential composition of coalgebras. Michael Winter, Peter Kempf · Details · Contributors · Fields of science · Bibliography ...
In particular we seek to establish the breadth of applicability of the coalgebraic description of lenses—to determine what structure on a base category is ...
Michael Winter , Peter Kempf: Relational properties of sequential composition of coalgebras. J. Log. Algebraic Methods Program. 83(2): 284-299 (2014).
In this survey, we review fundamental properties of coalgebras and their representation theory. Following J.A. Green we present the block theory of ...
5.1 Properties of the Consequence Relation . . . . . . . . . . . . 89. 5.2 Proof Systems for Coalgebraic Modal Logic . . . . . . . . . . 93. 5.3 Finite Models ...
We start by introducing the notions that we need for the sequel. 2.1 Monads and distributive laws. We start by introducing some basic notions and properties.
Missing: Relational | Show results with:Relational