Opetop

I kategoriteorin är en gren av matematiken, en opetop , en portmanteau av " operation " och " polytop ", en form som fångar högre dimensionella substitutioner . Den introducerades av John C. Baez och James Dolan för att de skulle kunna definiera en svag n - kategori som en viss förlist på kategorin opetoper.

Se även

• högre ordning operad

externa länkar

• https://ncatlab.org/nlab/show/opetope