paper-LLNCS.pdf (392.72 kB)
The Nominal/FM Yoneda Lemma
journal contributionposted on 2021-01-28, 17:13 authored by RL Crole
This paper explores versions of the Yoneda Lemma in settings founded upon FM sets. In particular, we explore the lemma for three base categories: the category of nominal sets and equivariant functions; the category of nominal sets and all finitely supported functions, introduced in this paper; and the category of FM sets and finitely supported functions. We make this exploration in ordinary, enriched and internal settings. We also show that the finite support of Yoneda natural transformations is a theorem for free.
CitationMathematical Structures in Computer Science , Volume 30 , Issue 9 , October 2020 , pp. 1011 - 1024
Author affiliationschool of computer science
- AM (Accepted Manuscript)