Limit preservation from naturality

Electronic Notes in Theoretical Computer Science

Volumn 122, Issue , 2005, Pages 3-22

  Caccamo, Mario ^a   Winskel, Glynn ^b  

^a WELLCOME TRUST SANGER INSTITUTE   (United Kingdom)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Category; End; Functor; Limit; Naturality; Preservation

Indexed keywords

MAPS; MATHEMATICAL MODELS; MATHEMATICAL TECHNIQUES; SEMANTICS;

CATEGORY; FUNCTORS; LIMIT; NATURALITY; PRESERVATION;

GRAPH THEORY;

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

References (7)

1. Bénabou, J., Distributors at work, 2000
2. Cáccamo, M. and G. Winskel, Lecture notes in category theory, based on Martin Hyland's Cambridge Part III lectures, to appear as BRICS lecture notes series, 2004
3. Cattani, G.L., "Presheaf Models for Concurrency," Ph.D. thesis, BRICS - University of Aarhus, 1999
4. Cattani, G.L. and G. Winskel, Profunctors, open maps and bisimulation, accepted by MSCS, April 2004
5. F.W. Lawvere Metric spaces, generalized logic, and closed categories Rendiconti del Seminario Matematico e Fisico di Milano XLIII 1973 135 166
6. S. Mac Lane, and I. Moerdijk Sheaves in Geometry and Logic: A First Introduction to Topos Theory 1992 Springer-Verlag
7. Paré, R., Simply connected limits, Canadian Journal of Mathematics XLII (90), pp. 731-746