Joyal's theory of species

GPTKB entity