Function spaces for orbit-finite sets

Mikołaj Bojańczyk, Lê Thành Dũng Nguyên, Rafał Stefański

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 d…