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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Levy, P.B. (2003). Representing Objects. In: Call-By-Push-Value. Semantic Structures in Computation, vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0954-6_11
Download citation
DOI: https://doi.org/10.1007/978-94-007-0954-6_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3752-5
Online ISBN: 978-94-007-0954-6
eBook Packages: Springer Book Archive