#infinity category #higher category theory #n-category #∞-category #category theory #higher structures #generalization