Unique factorisation lifting functors and categories of linearly-controlled processes

Mathematical Structures in Computer Science

Volumn 10, Issue 2, 2000, Pages 137-163

  Bunge†, Marta ^a   Fiore‡, Marcelo P ^b  

^a MCGILL UNIVERSITY   (Canada)

^b UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85022774078     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129599003023     Document Type: Article

References (20)

1. Adamek, J. and Rosický, J. (1994) Locally Presentable and Accessible Categories, London Mathe-matical Society Lecture Note Series 189, Cambridge University Press.
2. Bunge, M. and Niefield, S. (1998) Exponentiability and single universes. (To appear in J. Pure Appl. Algebra.)
3. Borceux, F. (1994) Handbook of Categorical Algebra, Number 50–52 in Encyclopedia of Mathematics and its Applications, Cambridge University Press.
4. Cattani, G. L. and Winskel, G. (1997) Presheaf models for concurrency. In: van Dalen, D. and Bezem, M. (eds.) Proceedings of the CSL’96 Conf. Springer-Verlag Lecture Notes in Computer Science 1258 58–75.
5. de Nicola, R., Montanari, U. and Vaandrager F. (1990) Back and forth bisimulations. In: Proceedings of the CONCUR’90 Conf. Springer-Verlag Lecture Notes in Computer Science 458 152–165.
6. Freyd, P. J. and Kelly, G. M. (1972) Categories of continuous functors I. J. of Pure Appl. Algebra 2 169–191. (Erratum: J. Pure Appl. Algebra (1974) 4 121).
7. Joyal, A., Nielsen, M. and Winskel, G. (1996) Bisimulation from open maps. Inform. and Comput. 127 (2) 164–185.
8. Johnstone, P. T. (1999) A note on discrete Conduche fibrations. Theory and Applications of Categories 5 1–11.
9. Kelly, G. M. (1982) Basic concepts of enriched category theory, London Mathematical Society Lecture Note Series 64, Cambridge University Press.
10. Lambek, J. (1989) Multicategories revisited. In: Categories in Computer Science and Logic. Contemporary Mathematics 92, AMS 217–239.
11. Lawvere, F. W. (1986a) Categories of spaces may not be generalized spaces as exemplified by directed graphs. Rev. Colombiana Mat. 20 179–185.
12. Lawvere, F. W. (1986b) Introduction. In: Lawvere, F. W. and Schanuel, S.H. (eds.) Categories in continuum physics. Springer-Verlag Lecture Notes in Computer Science 1174 1–16.
13. Lawvere, F. W. (1986c) State categories and response functors. (Unpublished, May 1986.)
14. Lawvere, F. W. (1989) Qualitative distinctions between some toposes of generalized graphs. In: Categories in Computer Science and Logic. Contemporary Mathematics 92, AMS 261–299.
15. Milner, R. (1989) Communication and Concurrency, Prentice Hall.
16. Mac Lane, S. (1971) Categories for the Working Mathematician, Springer-Verlag.
17. Mac Lane, S. and Moerdijk, I. (1994) Sheaves in geometry and logic: A first introduction to topos theory, Universitext, Springer-Verlag.
18. Schanuel, S. and Street, R. (1988) The length of a pasting diagram. (Unpublished, June 1988.)
19. Street, R. (1996) Categorical structures. In: Handbook of algebra 1, North-Holland 529–577. Winskel, G. and Nielsen, M. (1995) Models for concurrency. In: Handbook of logic in computer science 4, Oxford Univ. Press 1–148.
20. Winskel, G. and Nielsen, M. (1997) Presheaves as transition systems. In: Partial order methods in verification. DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 29 129–140.