Weak Cat-Operads
DOI10.2168/LMCS-11(1:10)2015zbMath1351.18010arXiv1005.4633MaRDI QIDQ5246715
Publication date: 22 April 2015
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1005.4633
symmetric groupscoherencemulticategoryoperadbicategory2-categorypermutohedronassociahedronCat-operadhemiassociahedronnominal aritynon-symmetric operadweak Cat-operad
Three-dimensional polytopes (52B10) Categorical logic, topoi (03G30) Partial algebras (08A55) Loop space machines and operads in algebraic topology (55P48) Enriched categories (over closed or monoidal categories) (18D20) Foundations, relations to logic and deductive systems (18A15)
Related Items (4)
This page was built for publication: Weak Cat-Operads