Polynomial functors and polynomial monads
From MaRDI portal
Publication:4902505
Abstract: We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored.
Recommendations
Cites work
- -cofibration categories and the homotopy categories of global actions and simplicial complexes
- A semantics for shape
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Aspects of topoi
- Automata, Languages and Programming
- Cartesian monads on toposes
- Connected limits, familial representability and Artin glueing
- Containers: Constructing strictly positive types
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- scientific article; zbMATH DE number 3989612 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 1111371 (Why is no real title available?)
- scientific article; zbMATH DE number 1552053 (Why is no real title available?)
- scientific article; zbMATH DE number 1747171 (Why is no real title available?)
- scientific article; zbMATH DE number 3316072 (Why is no real title available?)
- scientific article; zbMATH DE number 2247254 (Why is no real title available?)
- Locally cartesian closed categories and type theory
- Normal functors, power series and -calculus
- On multiplicative transfer
- Polynomial functors and opetopes
- Representable multicategories
- Strong functors and monoidal monads
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
- The formal theory of monads
- The formal theory of monads. II
- The petit topos of globular sets
- Types for Proofs and Programs
- Une théorie combinatoire des séries formelles
- Wellfounded trees in categories
- Witt vectors and Tambara functors
Cited in
(87)- Incomplete Tambara functors
- Categorification of Hopf algebras of rooted trees.
- Distributive laws via admissibility
- The Frobenius condition, right properness, and uniform fibrations
- The incidence comodule bialgebra of the Baez-Dolan construction
- The universal exponentiable arrow
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
- Polynomial monads and delooping of mapping spaces
- Relative full completeness for bicategorical Cartesian closed structure
- Session coalgebras: a coalgebraic view on session types and communication protocols
- Analytic functors between presheaf categories over groupoids
- Universal properties of bicategories of polynomials
- Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
- Monoidal indeterminates and categories of possible worlds
- A monadic approach to polycategories
- Higher-order algebras and coalgebras from parameterized endofunctors
- Polynomial functors constrained by regular expressions
- Homotopy theory for algebras over polynomial monads
- Polynomial functors and combinatorial Dyson-Schwinger equations
- Companions, codensity and causality
- Homotopy-theoretic models of type theory
- Functorial polar functions
- Polynomial functors and trees
- Natural models of homotopy type theory
- scientific article; zbMATH DE number 2125667 (Why is no real title available?)
- Data types with symmetries and polynomial functors over groupoids
- Operads as polynomial 2-monads
- scientific article; zbMATH DE number 63120 (Why is no real title available?)
- Monoidal indeterminates and categories of possible worlds
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- Categorical constructions related to finite groups
- Shapely monads and analytic functors
- Local fibred right adjoints are polynomial
- Faà di Bruno for operads and internal algebras
- Dependent inductive and coinductive types are fibrational dialgebras
- Canonicity and homotopy canonicity for cubical type theory
- EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces
- Homotopy theory of algebras of substitudes and their localisation
- Homotopy canonicity for cubical type theory
- Syntactic approaches to opetopes
- Opetopic algebras I: Algebraic structures on opetopic sets
- Variations on inductive-recursive definitions
- Polynomials as spans
- Lax familial representability and lax generic factorizations
- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors
- Representing continuous functions between greatest fixed points of indexed containers
- W-types in setoids
- Polynomials in categories with pullbacks
- Monads in double categories
- The essence of ornaments
- A linear category of polynomial diagrams
- Database queries and constraints via lifting problems
- Decomposing Comonad Morphisms.
- On distributivity in higher algebra I: the universal property of bispans
- Quantitative Polynomial Functors (Early Ideas)
- Differential 2-rigs
- Polynomial Functors and Shannon Entropy
- Bi-incomplete Tambara functors as \(\mathcal{O}\)-commutative monoids
- Learners' languages
- Yoneda lemma for simplicial spaces
- Dirichlet Polynomials form a Topos
- A comonad for Grothendieck fibrations
- Computads for weak -categories as an inductive type
- Stabilized profunctors and stable species of structures
- Whole-grain Petri nets and processes
- Kripke-Joyal forcing for type theory and uniform fibrations
- A Cartesian bicategory of polynomial functors in homotopy type theory
- Polynomials in homotopy type theory as a Kleisli category
- The Yoneda reduction of polymorphic types
- A direct-categorical approach to opetopic sets and opetopes
- -type theories
- Automata and coalgebras in categories of species
- Objective Mackey and Tambara functors via parametrized categories
- Formalizing two-level type theory with cofibrant exo-nat
- Weihrauch problems as containers
- Toward a geometry for syntax
- Triple delooping for multiplicative hyperoperads
- Comodule representations of second-order functionals
- Taut functors and the difference operator
- Functorial aggregation
- Functorial data migration
- Doubly weak double categories
- Cofinal morphism of polynomial monads and double delooping
- Decomposition spaces in combinatorics
- Strict stability of extension types
- Polynomial universes in homotopy type theory
- Polynomial functors and opetopes
This page was built for publication: Polynomial functors and polynomial monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4902505)
