Conference item icon

Conference item

Reason isomorphically!

Abstract:
When are two types the same? In this paper we argue that isomorphism is a more useful notion than equality. We explain a succinct and elegant approach to establishing isomorphisms, with our focus on showing their existence over deriving the witnesses. We use category theory as a framework, but rather than chasing diagrams or arguing with arrows, we present our proofs in a calculational style. In particular, we hope to showcase to the reader why the Yoneda lemma and adjunctions should be in their reasoning toolbox.

Actions


Access Document


Publisher copy:
10.1145/1863495.1863507
Publisher:
ACM
Host title:
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming (WGP '10)
Publication date:
2010-09-01
DOI:
ISBN:
9781450302517
UUID:
uuid:8edebc5a-b0e9-40a2-8a98-d2363244f956
Local pid:
cs:3972
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP