Limit Preservation from Naturality

  • Authors:

  • Mario Caccamo;Glynn Winskel

  • Affiliations:

  • The Wellcome Trust Sanger Institute, Cambridge, UK;University of Cambridge Computer Laboratory, Cambridge, UK

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

A functor G:C-D is said to preserve limits of a diagram D:I-C if it sends any limiting cone from x to D to a limiting cone from G(x) to G@?D. When G preserves limits of a diagram D this entails directly that there is an isomorphism G(limD between complete categories is continuous if there is an isomorphism G(lim