Pages that link to "Item:Q4902505"
From MaRDI portal
The following pages link to Polynomial functors and polynomial monads (Q4902505):
Displaying 43 items.
- Monads in double categories (Q531324) (← links)
- Functorial data migration (Q714735) (← links)
- Polynomial functors and opetopes (Q984889) (← links)
- Incomplete Tambara functors (Q1743502) (← links)
- Categorification of Hopf algebras of rooted trees. (Q1939375) (← links)
- Distributive laws via admissibility (Q2011378) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- The incidence comodule bialgebra of the Baez-Dolan construction (Q2020408) (← links)
- The universal exponentiable arrow (Q2078410) (← links)
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
- Polynomial monads and delooping of mapping spaces (Q2180250) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Universal properties of bicategories of polynomials (Q2421332) (← links)
- Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees. (Q2445963) (← links)
- Homotopy theory for algebras over polynomial monads (Q2963473) (← links)
- Polynomial functors and combinatorial Dyson–Schwinger equations (Q2981022) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Homotopy-Theoretic Models of Type Theory (Q3007656) (← links)
- Natural models of homotopy type theory (Q3130300) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- (Q4555336) (← links)
- Categorical constructions related to finite groups (Q4629168) (← links)
- Faà di Bruno for operads and internal algebras (Q4967971) (← links)
- (Q5014439) (← links)
- Canonicity and homotopy canonicity for cubical type theory (Q5028486) (← links)
- Homotopy theory of algebras of substitudes and their localisation (Q5067624) (← links)
- (Q5089011) (← links)
- Syntactic approaches to opetopes (Q5094693) (← links)
- Opetopic algebras I: Algebraic structures on opetopic sets (Q5094698) (← links)
- Variations on inductive-recursive definitions (Q5111280) (← links)
- Lax familial representability and lax generic factorizations (Q5121791) (← links)
- (Q5155674) (← links)
- W-types in setoids (Q5155691) (← links)
- The essence of ornaments (Q5372005) (← links)
- A linear category of polynomial diagrams (Q5740350) (← links)
- Database queries and constraints via lifting problems (Q5740402) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)
- On distributivity in higher algebra I: the universal property of bispans (Q6056494) (← links)
- Differential 2-rigs (Q6150153) (← links)
- Polynomial Functors and Shannon Entropy (Q6150165) (← links)
- Bi-incomplete Tambara functors as \(\mathcal{O}\)-commutative monoids (Q6151630) (← links)
- Yoneda lemma for simplicial spaces (Q6175166) (← links)
