Pages that link to "Item:Q456883"
From MaRDI portal
The following pages link to Monads with arities and their associated theories (Q456883):
Displaying 22 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Graphs, hypergraphs, and properads (Q276737) (← links)
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals (Q725281) (← 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)
- Restricted Lie algebras via monadic decomposition (Q1671755) (← links)
- From operator categories to higher operads (Q1746379) (← links)
- Higher cyclic operads (Q2000783) (← links)
- Monads and theories (Q2001598) (← links)
- Homotopy-coherent algebra via Segal conditions (Q2032920) (← links)
- The monadic tower for \(\infty\)-categories (Q2069827) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- A homotopy coherent cellular nerve for bicategories (Q2180894) (← links)
- Modular operads and the nerve theorem (Q2189486) (← links)
- Graded algebraic theories (Q2200837) (← 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)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Towards a Formal Theory of Graded Monads (Q2811361) (← links)
- Diagrammatic presentations of enriched monads and varieties for a subcategory of arities (Q6077388) (← links)
