Higher-dimensional category theory: opetopic foundations

GPTKB entity


Please wait…