Pages that link to "Item:Q456883"
From MaRDI portal
The following pages link to Monads with arities and their associated theories (Q456883):
Displaying 8 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)
