Representing Objects

  • Paul Blain Levy
Part of the Semantic Structures in Computation book series (SECO, volume 2)

Abstract

A key concept of category theory is that of representable object (or representation, or universal element). This concept can be defined in both element style and naturality style—the equivalence of the two definitions follows from the Yoneda Lemma. So by describing something as a representable object, we automatically obtain both an element-style and a naturality-style description.

Keywords

Unique Functor Ordinary Category Unique Isomorphism Faithful Functor Family Construction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2003

Authors and Affiliations

  • Paul Blain Levy
    • 1
  1. 1.School of Computer ScienceUniversity of BirminghamUK

Personalised recommendations