Symmetric monoidal sketches

Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn , Issue , 2000, Pages 280-288

  Hyland, Martin ^a   Power, John ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Action calculi; Categories of wirings; Sketch; Symmetric monoidal category

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL TECHNIQUES; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

SYMMETRIC MONOIDAL SKETCHES;

LOGIC PROGRAMMING;

EID: 0034592919     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/351268.351299     Document Type: Conference Paper

References (11)

1. M. Barr and C. Wells. Toposes, Triples, and Theories, Grundlehren der math. Wissenschaften 278. Springer-Verlag, 1985.
2. R. Blackwell, G. Kelly, and A. Power. Two-dimensional monad theory. J. Pure Appl. Algebra, 59:1-41, 1989.
3. G. Cattani, M.P.Fiore, and G. Winskel. A theory of recursive domains with application to concurrency. In Proc. LICS 98, pages 214-225, 1998.
4. B. Eckmann and P. Hilton. Group-like structures in general categories i: multiplications and comultiplications. Math. Annalen, 145:227-255, 1962.
5. M. Fiore, G. Plotkin, and A. Power. Cuboidal sets in axiomatic domain theory. In Proc. LICS 97, pages 268-279, 1997.
6. T. Fox. Coalgebras and cartesian categories. Comm. Algebra, 7(4):665-667, 1976.
7. P. Johnstone, A. Power, T. Tsujishita, H. Watanabe, and J. Worrell. An axiomatics for categories of transition systems as coalgebras. In Proc LICS 98, pages 207-213, 1998.
8. G. Kelly and A. Power. Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads. J. Pure Appl. Algebra, 89:163-179, 1993.
9. Y. Kinoshita, A. Power, and M. Takeyama. Sketches. J. Pure Appl. Algebra, 143:275-291, 1999.
10. A. Mifsud, R. Milner, and A.J.Power. Control structures. In Proc. LICS 95, pages 188-198, 1995.
11. A. Power. Elementary control structures. In Proc. CONCUR 96, Lecture Notes in Computer Science 1119, pages 115-130, 1996.