Higher-dimensional category theory: opetopic foundations

GPTKB entity