The following pages link to (Q5454622):
Displaying 27 items.
- Graphs, hypergraphs, and properads (Q276737) (← links)
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Monads with arities and their associated theories (Q456883) (← links)
- A Thomason model structure on the category of small \(n\)-fold categories (Q600804) (← links)
- Algebras of higher operads as enriched categories (Q633792) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals (Q725281) (← links)
- On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads (Q897499) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory (Q1647403) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness (Q1649360) (← links)
- From operator categories to higher operads (Q1746379) (← links)
- The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category (Q1928247) (← links)
- Higher cyclic operads (Q2000783) (← links)
- Monads and theories (Q2001598) (← links)
- The incidence comodule bialgebra of the Baez-Dolan construction (Q2020408) (← links)
- Homotopy-coherent algebra via Segal conditions (Q2032920) (← links)
- Modular operads and the nerve theorem (Q2189486) (← links)
- Graphical combinatorics and a distributive law for modular operads (Q2237392) (← links)
- Combinatorial structure of type dependency (Q2254771) (← links)
- Dynamical systems and sheaves (Q2303775) (← links)
- Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract) (Q2825366) (← links)
- On the equivalence between $\Theta _{n}$-spaces and iterated Segal spaces (Q3132774) (← links)
- (Q3385646) (← links)
- Decomposition-space slices are toposes (Q4959712) (← links)
- Faà di Bruno for operads and internal algebras (Q4967971) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Categories of graphs for operadic structures (Q6142654) (← links)
- On effective descent \(\mathcal{V}\)-functors and familial descent morphisms (Q6146488) (← links)
