Abstract
A recent paper by Hennicker and Kurz [4] gives a formulation of algebraic operations which respect behavioural equivalence as a pair of an algebra and a coalgebra structures on the same carrier set. The conditions on such a pair are simple but elegant and intuitive. Another elegant formulation, given by Turi and Plotkin [18], uses a similar pair of an algebra and a coalgebra structures, which fits in a certain diagram that involves a natural transformation with distributive property. The paper investigates a relationship between these two similar formulations, and shows when they can be interchangeable and when they cannot.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bidoit, M., Hennicker, R.: Proving Behavioural Theorems with Standard First-Order Logic. In: Rodríguez-Artalejo, M., Levi, G. (eds.) ALP 1994. LNCS, vol. 850, pp. 41–58. Springer, Heidelberg (1994)
Bidoit, M., Hennicker, R.: Observational Logic. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol. 1548, pp. 263–277. Springer, Heidelberg (1999)
Diaconescu, R., Futatsugi, K.: Behavioural Coherence in Object-Oriented Algebraic Specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute of Seance and Teleology (1998)
Hennicker, R., Kurz, A.: (Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specification. In: Proc. Coalgebraic Methods in Computer Science 1999. Electronic Notes in Theoretical Computer Science, vol. 19. Elsevier, Amsterdam (1999) (on line)
Goguen, J., Malcolm, G.: A Hidden Agenda, Technical Report CS97-538, University of California, San Diego (1997)
Jacobs, B., Rutten, J.: A Tutorial on (Co)algebras and (Co)induction. Bulletin of the EATCS 62, 222–259 (1997)
Johnstone, P.: Adjoint Lifting Theorems for Categories of Algebras. Bulletin of the London Mathematical Society 7, 294–297 (1975)
Kurz, A., Hennicker, R.: On Institutions for Modular Coalgebraic Specifications. To appear in Theoretical Computer Science (2000)
Lenisa, M., Power, J., Watanabe, H.: Distributivity for Endofunctors, Pointed and Co-pointed Endofunctors, Monads and Comonads. In: Proc. Coalgebraic Methods in Computer Science 2000. Electronic Notes in Theoretical Computer Science, vol. 33. Elsevier, Amsterdam (2000)
Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971); The second edition was published in 1998
Malcolm, G.: Behavioural Equivalence, Bisimulation, and Minimal Realisation. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, pp. 359–378. Springer, Heidelberg (1996)
Nakagawa, A.T., Sawada, T., Futatsugi, K.: CafeOBJ Manual, SRA/JAIST (1997), ftp.sra.co.jp/pub/lang/CafeOBJ/
Padawitz, P.: “Swinging Data Types”, Recent Trends in Data Type Specifications. LNCS (1996)
Rosu, G.: Hidden Congruent Deduction. In: Proc. First-Order Theorem Proving 1998 (1998)
Rutten, J.: Universal Coalgebra: A Theory of Systems, Technical Report CS-R9652, CWI (1996); to appear in Theoretical Computer Science
Rutten, J., Turi, D.: Initial Algebra and Final Coalgebra Semantics for Concurrency, CWI Technical Report; also in Proc. of the TEX Workshop: A Decade of Concurrency — Reflections and Perspectives, LNCS, vol. 803. pp. 530–582. Springer, Heidelberg (1994)
Turi, D.: Functorial Operational Semantics and its Denotational Dual”, PhD thesis. Free University, Amsterdam (1996)
Turi, D., Plotkin, G.: Toward a Mathematical Operational Semantics. In: Proc. Logic in Computer Science 1997. IEEE, Los Alamitos (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakagawa, A.T. (2000). Algebra-Coalgebra Structures and Bialgebras. In: Bert, D., Choppy, C., Mosses, P.D. (eds) Recent Trends in Algebraic Development Techniques. WADT 1999. Lecture Notes in Computer Science, vol 1827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44616-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-44616-3_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67898-4
Online ISBN: 978-3-540-44616-3
eBook Packages: Springer Book Archive