Handbook of logic in computer science (vol. 3)
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Automata and Algebras in Categories
Automata and Algebras in Categories
Category Theory and Computer Science
Theoretical Computer Science - Selected papers of CMCS'03
Equational presentations of functors and monads
Mathematical Structures in Computer Science
Similarity quotients as final coalgebras
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Relation liftings on preorders and posets
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Relation liftings on preorders and posets
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Preorders on monads and coalgebraic simulations
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Hi-index | 0.00 |
We investigate how finitary functors on Set can be extended or lifted to finitary functors on Preord and Poset and discuss applications to coalgebra.