The nominal/FM Yoneda Lemma

DOI10.1017/S0960129520000328zbMath1472.03065OpenAlexW3150590868WikidataQ124851986 ScholiaQ124851986MaRDI QIDQ4988443

Roy L. Crole

Publication date: 14 May 2021

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129520000328

zbMATH Keywords

FM-setsnominal setsYoneda lemma

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Enriched categories (over closed or monoidal categories) (18D20) Categories of sets, characterizations (18B05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• A new approach to abstract syntax with variable binding
• Nominal logic, a first order theory of names and binding
• On fixpoint objects and gluing constructions
• Nominal Lawvere theories: a category theoretic account of equational theories with names
• Nominal Sets
• Nominal Equational Logic
• Nominal Lawvere Theories
• Nominal (Universal) Algebra: Equational Logic with Names and Binding
• Categories for Types
• Connected limits, familial representability and Artin glueing
• Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip

This page was built for publication: The nominal/FM Yoneda Lemma