The following pages link to (Q3156505):
Displaying 29 items.
- Graphs, hypergraphs, and properads (Q276737) (← links)
- Monads with arities and their associated theories (Q456883) (← 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)
- Commutativity (Q899553) (← 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)
- The incidence comodule bialgebra of the Baez-Dolan construction (Q2020408) (← links)
- Homotopy-coherent algebra via Segal conditions (Q2032920) (← links)
- Monads, partial evaluations, and rewriting (Q2133473) (← links)
- Combinatorial structure of type dependency (Q2254771) (← links)
- The monads of classical algebra are seldom weakly Cartesian (Q2255534) (← links)
- The Isbell monad (Q2359936) (← links)
- Universal properties of bicategories of polynomials (Q2421332) (← links)
- Operads within monoidal pseudo algebras (Q2432567) (← links)
- Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract) (Q2825366) (← links)
- A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW (Q2909193) (← links)
- (Q3423074) (← links)
- (Q4704207) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- (Q5089017) (← links)
- (Q5101336) (← links)
- Lax familial representability and lax generic factorizations (Q5121791) (← links)
- Computads for weak \(\omega \)-categories as an inductive type (Q6562849) (← links)
- Stabilized profunctors and stable species of structures (Q6563041) (← links)
- Free precategories as presheaf categories (Q6575458) (← links)
- Monadic monadic second order logic (Q6612795) (← links)
