From comodels to coalgebras: State and arrays

Electronic Notes in Theoretical Computer Science

Volumn 107, Issue 1-4 SPEC. ISS., 2004, Pages 297-314

  Power, John ^a   Shkaravska, Olha ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

(Co)algebra; (Co)model; (Co)monad; Arrays; Equivalence of categories; Global state; Lawvere theory

Indexed keywords

ARRAYS; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING; FINITE ELEMENT METHOD; LINEAR ALGEBRA; PROGRAMMING THEORY; TENSORS;

COALGEBRA; COMODEL; COMONAD; EQUIVALENCE OF CATEGORIES; GLOBAL STATE; LAWVERE THEORY; (CO)ALGEBRA; (CO)MODEL; (CO)MONAD;

ALGEBRA; MATHEMATICAL MODELS;

EID: 17444407903     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.041     Document Type: Conference Paper

References (17)

1. Barr, M., and C. Wells, "Toposes, Triples, and Theories", Grundlehren der math. Wissenschaften 278, Springer-Verlag, 1985.
2. Blackwell, R., G.M. Kelly and A.J. Power, Two-dimensional monad theory, J. Pure Appl. Algebra 59 (1989), 1-41.
3. Collins G., and D. Syme, "A Theory of Finite Maps", Proc. 8th International Workshop on Higher Order Logic Theorem Proving and its Applications, eds. E.T. Schubert, P.J. Windley and J. Alves-Foss, Lecture Notes in Computer Science 971, Springer-Verlag, 1995.
4. Dubuc, E., "Kan Extensions in Enriched Category Theory", Lecture Notes in Mathematics 145, Springer-Verlag, 1970.
5. Ghani, N., C. Luth, F. de Marchi and A.J. Power, Algebras, Coalgebras, Monads and Comonads, Proc. CMCS 2001, Electronic Notes in Theoretical Computer Science 44 (2001), URL: http://www.elsevier.com/locate/entcs/volume44.html.
6. Ghani, N., C. Luth, F. de Marchi and A.J. Power, Dualising Initial Algebras, Mathematical Structures in Computer Science 13 (2003), 349-370.
7. Hofmann, M., and B.C. Pierce, Positive Subtyping, Information and Computation 126 (1996), 11-33.
8. Hyland, M., P.B. Levy, G.D. Plotkin and A.J. Power, "Combining Continuations with other Effects", Proc. Continuations Workshop 2004, BRICS Lecture Notes (to appear).
9. Hyland, M., G.D. Plotkin and A.J. Power, "Combining Computational Effects: commutativity and sum", Proc. 2nd IFIP Conf. on Theoretical Computer Science, eds. Ricardo A. Baeza-Yates, Ugo Montanari and Nicola Santoro, Kluwer, 2002.
10. Hyland, M., G.D. Plotkin and A.J. Power, Combining effects: sum and tensor, Theoretical Computer Science, to appear.
11. Hyland, M., and A.J. Power, "Symmetric Monoidal Sketches", Proc. PPDP 2000, ACM, 2000.
12. Kelly, G.M., A Unified Treatment of Transfinite Constructions for Free Algebras, Free Monoids, Colimits, Associated Sheaves, and so on, Bull. Austral. Math. Soc. 22 (1980), 1-83.
13. Kelly, G.M., "Basic Concepts of Enriched Category Theory", Cambridge University Press, 1982.
14. Oles, F., "Type Algebras, Functor Categories, and Block Structures", Algebraic Methods in Semantics, eds. Maurice Nivat and John C. Reynolds, Cambridge University Press, 1985.
15. Plotkin, G.D., and A.J. Power, "Notions of Computation determine Monads", Proc. FOSSACS 2002, Lecture Notes in Computer Science 2303, Springer-Verlag, 2002.
16. Power, A.J., "Enriched Lawvere Theories", Theory and Applications of Categories, 2000.
17. Stump, A., C.W. Barrett, D.L. Dill and J. Levitt, "A Decision Procedure for an Extensional Theory of Arrays", Proc. 16th IEEE Symposium on Logic in Computer Science, IEEE Press, 2001.