Pages that link to "Item:Q5261927"
From MaRDI portal
The following pages link to Polynomials in categories with pullbacks (Q5261927):
Displaying 21 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Bundle functors and fibrations (Q1678994) (← links)
- Incomplete Tambara functors (Q1743502) (← links)
- Categorification of Hopf algebras of rooted trees. (Q1939375) (← links)
- Distributive laws via admissibility (Q2011378) (← links)
- The incidence comodule bialgebra of the Baez-Dolan construction (Q2020408) (← links)
- The universal exponentiable arrow (Q2078410) (← links)
- Universal properties of bicategories of polynomials (Q2421332) (← links)
- Homotopy theory for algebras over polynomial monads (Q2963473) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- Variation on a comprehensive theme (Q3382253) (← links)
- (Q4555336) (← links)
- Regular patterns, substitudes, Feynman categories and operads (Q4563231) (← links)
- Faà di Bruno for operads and internal algebras (Q4967971) (← links)
- Directed Containers as Categories (Q5013830) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- Polynomials as spans (Q5116336) (← links)
- Lax familial representability and lax generic factorizations (Q5121791) (← links)
- A Linear Category of Polynomial Functors (extensional part) (Q5417741) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)
- A Cartesian bicategory of polynomial functors in homotopy type theory (Q6653748) (← links)