The following pages link to (Q3156479):
Displaying 20 items.
- Algebras of higher operads as enriched categories (Q633792) (← links)
- Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories (Q847679) (← links)
- Homomorphisms of higher categories (Q984873) (← links)
- Weak \(n\)-categories: Opetopic and multitopic foundations. (Q1421253) (← links)
- Weak \(n\)-categories: Comparing opetopic foundations. (Q1426337) (← links)
- Monads and theories (Q2001598) (← links)
- Dévissage and localization for the Grothendieck spectrum of varieties (Q2105742) (← links)
- Combinatorial structure of type dependency (Q2254771) (← links)
- A proof of the existence of Batanin's initial operad (Q2411670) (← links)
- Polycategories via pseudo-distributive laws (Q2427570) (← links)
- Operads and PROPs (Q3053870) (← links)
- (Q4250404) (← links)
- On lifting of biadjoints and lax algebras (Q4553294) (← links)
- (Q4675787) (← links)
- Hom weak ω-categories of a weak ω-category (Q5058363) (← links)
- Syntactic approaches to opetopes (Q5094693) (← links)
- (Q5248262) (← links)
- (Q5881531) (← links)
- Generalized enrichment of categories (Q5960413) (← links)
- Relaxed multicategory structure of a global category of rings and modules (Q5960414) (← links)
