Function Spaces for Orbit-Finite Sets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Function Spaces for Orbit-Finite Sets

Résumé

Orbit-finite sets are a generalisation of finite sets, and as such support many operations allowed for finite sets, such as pairing, quotienting, or taking subsets. However, they do not support function spaces, i.e. if X and Y are orbit-finite sets, then the space of finitely supported functions from X to Y is not orbit-finite. We propose a solution to this problem inspired by linear logic.
Fichier principal
Vignette du fichier
LIPIcs.ICALP.2024.130.pdf (958.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04634408 , version 1 (03-07-2024)

Licence

Identifiants

Citer

Mikołaj Bojańczyk, Lê Thành Dũng Nguyễn, Rafał Stefański. Function Spaces for Orbit-Finite Sets. 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.130⟩. ⟨hal-04634408⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More