Nominal Sets

Dass Namen nur Schall und Rauch sind, verkörpert sich mathematisch in der Kategorie der nominalen Mengen. Hier lässt sich elegant über gebundene und freie Namen reden, wie sie in der Informatik allgegenwärtig sind:

  • Variablennamen im λ-Kalkül
  • Unendliche Eingabealphabete für endliche Automaten
  • Session IDs in Protokollen

Nach einigen Grundlagen zu Gruppen- und Kategorientheorie werden wir die Kategorie der nominalen Mengen untersuchen und darin Konzepte wie Variablenbindung und Frischheit von Variablennamen studieren.